Login / Signup
lambda!-calculus, Intersection Types, and Involutions.
Alberto Ciaffaglione
Pietro Di Gianantonio
Furio Honsell
Marina Lenisa
Ivan Scagnetto
Published in:
FSCD (2019)
Keyphrases
</>
lambda calculus
programming language