Development Separation in Lambda-Calculus.

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