Login / Signup

An Extension of Klop's Counterexample to the Church-Rosser Property to lambda-Calculus with other Ordered Pair Combinators.

Martin W. Bunder
Published in: Theor. Comput. Sci. (1985)
Keyphrases
  • lambda calculus
  • programming language
  • model checking
  • predicate calculus
  • program understanding
  • database query languages
  • higher order
  • temporal logic
  • databases
  • pairwise