Login / Signup

A General Storage Theorem for Integers in Call-by-Name lambda-Calculus.

Jean-Louis Krivine
Published in: Theor. Comput. Sci. (1994)
Keyphrases
  • lambda calculus
  • relational databases
  • knowledge base
  • programming language
  • data storage