A Module Calculus for Pure Type Systems.

Judicaël Courant

Published in: TLCA (1997)

Keyphrases

complex systems
databases
case study
intelligent systems
database
learning algorithm
database systems
expert systems
computer systems
knowledge based systems
first order logic