Realizability and Parametricity in Pure Type Systems.

Jean-Philippe Bernardy Marc Lasson

Published in: FoSSaCS (2011)

Keyphrases

preprocessing
intelligent systems
learning systems
real time
artificial intelligence
high level
management system
information retrieval systems
computer systems
knowledge based systems
building blocks
complex systems