Pure type systems with judgemental equality.

Published in: J. Funct. Program. (2006)

Keyphrases

distributed systems
intelligent systems
knowledge based systems
learning systems
complex systems
image processing
building blocks