Login / Signup

A new coinductive confluence proof for infinitary lambda calculus.

Lukasz Czajka
Published in: Log. Methods Comput. Sci. (2020)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • theorem proving
  • higher order
  • complex objects
  • data structure
  • expressive power
  • theorem prover
  • databases
  • database management systems