Login / Signup

"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.

Michael Karr
Published in: TAPSOFT, Vol.1 (1985)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • theorem proving
  • database query languages
  • higher order
  • complex objects
  • program understanding
  • case study
  • knowledge base
  • general purpose
  • predicate logic