View in EDS PDF Full Text

On Isomorphisms of Intersection Types.

Saved in:
Bibliographic Details
Title: On Isomorphisms of Intersection Types.
Authors: Dezani-Ciancaglini, Mariangiola1, dezani@di.unito.it, Di Cosmo, Roberto2, Giovannetti, Elio2, Tatsuta, Makoto3
Source: ACM Transactions on Computational Logic; Jul2010, Vol. 11 Issue 4, p25:1-25:24, 24p, 1 Diagram, 2 Charts
Database: Applied Science & Technology Source
Description
ISSN:15293785
DOI:10.1145/1805950.1805955