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