Λ!-calculus, intersection types, and involutions
Ciaffaglione A.
•
Di Gianantonio P.
•
Honsell F.
altro
Scagnetto I.
2019