The involutions-as-principal types/application-as-unification Analogy.

Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto

Browse the full LPAR paper archive.