A Coinductive Confluence Proof for Infinitary Lambda-Calculus.

Published in: RTA-TLCA (2014)

Keyphrases

lambda calculus
programming language
predicate calculus
theorem prover
theorem proving
database query languages
higher order
general purpose
database
first order logic
complex objects
formal model
program understanding