Login / Signup

Lambda calculus characterizations of poly-time.

Daniel LeivantJean-Yves Marion
Published in: TLCA (1993)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • complex objects
  • program understanding
  • higher order
  • general purpose
  • case study
  • first order logic
  • expressive power