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