Login / Signup

Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.

Mitsuhiro Okada
Published in: ISSAC (1989)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • higher order
  • complex objects
  • program understanding
  • high level
  • database systems
  • expert systems
  • general purpose