On isomorphisms of intersection types

ACM Transactions on Computational Logic 2010 / 07 Vol. 11; Iss. 4

On isomorphisms of intersection types

Dezani-Ciancaglini, Mariangiola, Cosmo, Roberto Di, Giovannetti, Elio, Tatsuta, Makoto
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
11
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/1805950.1805955
Date:
July, 2010
File:
PDF, 229 KB
english, 2010
Conversion to is in progress
Conversion to is failed