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