Login / Signup
Linear lambda-calculus and Reversible Automatic Combinators.
Alberto Ciaffaglione
Furio Honsell
Marina Lenisa
Ivan Scagnetto
Published in:
CoRR (2018)
Keyphrases
</>
lambda calculus
programming language
expressive power
databases
higher order
general purpose