Login / Signup
Development Separation in Lambda-Calculus.
Hongwei Xi
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
lambda calculus
case study
knowledge based systems
software engineering
development process
database
databases
query processing
open source