Login / Signup

On the algebraic models of lambda calculus.

Antonino Salibra
Published in: Theor. Comput. Sci. (2000)
Keyphrases
  • lambda calculus
  • databases
  • artificial intelligence