Intersection Types from a Proof-theoretic Perspective.

Saved in:

Bibliographic Details
Title:	Intersection Types from a Proof-theoretic Perspective.
Authors:	Pimentel, Elaine¹, elaine.pimentel@gmail.com, Ronchi Della Rocca, Simona², ronchi@di.unito.it, Roversi, Luca², roversi@di.unito.it
Source:	Fundamenta Informaticae; 2012, Vol. 121 Issue 1-4, p253-274, 22p, 4 Charts
Database:	Applied Science & Technology Source

Description
ISSN:	01692968
DOI:	10.3233/fi-2012-778