PiSigma: Dependent Types without the Sugar.

Thorsten Altenkirch Nils Anders Danielsson Andres Löh Nicolas Oury

Published in: FLOPS (2010)

Keyphrases

cooperative
computer science
neural network
real world
artificial intelligence
image processing
image segmentation
information technology
image retrieval
user interface
multiresolution