Login / Signup
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications.
José Espírito Santo
Delia Kesner
Loïc Peyrot
Published in:
Log. Methods Comput. Sci. (2024)
Keyphrases
</>
lambda calculus
programming language
higher order
predicate calculus
complex objects
program understanding
databases