Unifying sets and programs via dependent types.

Wojciech Moczydlowski

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

real time
computer vision
machine learning
information systems
artificial neural networks
automatic programming