Login / Signup

lambda-calculus and Quantitative Program Analysis: (Extended Abstract).

Chris HankinHerbert Wiklicky
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • extended abstract
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • higher order
  • database query languages
  • knowledge base
  • database