Login / Signup

The self-reduction in lambda calculus.

Fangmin SongYongSen XuYuechen Qian
Published in: Theor. Comput. Sci. (2000)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • program understanding
  • databases
  • case study
  • data structure
  • relational databases
  • open source
  • integrity constraints
  • complex objects
  • formal model