Sciweavers

CSL
2008
Springer
14 years 19 days ago
On Isomorphisms of Intersection Types
The study of type isomorphisms for different -calculi started over twenty years ago, and a very wide body of knowledge has been established, both in terms of results and in terms o...
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, ...