Keyword:Geometry of Interaction

Publications
The involutions-as-principal types/application-as-unification Analogy Alberto Ciaffaglione, Furio Honsell, Marina Lenisa and Ivan Scagnetto In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning