Login / Signup
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning.
Akimasa Morihata
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
higher order
database query languages
program understanding
pairwise
knowledge representation