A typed parallel lambda-calculus via 1-depth intermediate proofs.

Federico Aschieri Agata Ciabattoni Francesco Antonio Genco

Published in: LPAR (2020)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
theorem proving
logic programming
complex objects
software engineering
theorem prover