Sciweavers

Share
CSL
2008
Springer
9 years 3 months 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, ...
books