Login / Signup
The Difference Lambda-Calculus: A Language for Difference Categories.
Mario Alvarez-Picallo
C.-H. Luke Ong
Published in:
CoRR (2020)
Keyphrases
</>
lambda calculus
programming language
expert systems
higher order