Type Theorie Programming.

Thierry Coquand Bengt Nordström Jan M. Smith Björn von Sydow

Published in: Bull. EATCS (1994)

Keyphrases

learning algorithm
general purpose
programming language
development environment
real time
real world
image processing
multi agent
computer science