Login / Signup

Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T.

Felix JoachimskiRalph Matthes
Published in: Arch. Math. Log. (2003)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • theorem proving
  • complex objects
  • theorem prover
  • database query languages
  • general purpose
  • higher order
  • program understanding
  • databases
  • first order logic