Login / Signup

Models for the computational lambda-calculus.

John Power
Published in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
  • lambda calculus
  • high level
  • case study
  • open source
  • integrity constraints