Login / Signup
Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations.
Andrea Asperti
Juliusz Chroboczek
Published in:
Appl. Algebra Eng. Commun. Comput. (1997)
Keyphrases
</>
lambda calculus
database applications