A new coinductive confluence proof for infinitary lambda-calculus.

Published in: CoRR (2018)

Keyphrases

lambda calculus
programming language
predicate calculus
theorem proving
database query languages
complex objects
theorem prover
program understanding
higher order
artificial intelligence
high level
relational databases
logic programming
first order logic