Login / Signup
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study.
Akimasa Morihata
Published in:
J. Funct. Program. (2021)
Keyphrases
</>
lambda calculus
databases
object oriented
general purpose
open source