Axioms for the Theory of Lambda-Conversion.

György E. Révész

Published in: SIAM J. Comput. (1985)

Keyphrases

belief functions
databases
computer vision
knowledge base
artificial intelligence
information systems
fixed point