Login / Signup

Towards Lambda Calculus Order-Incompleteness.

Antonino Salibra
Published in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
  • lambda calculus
  • database systems
  • programming language
  • database management systems