Intersection, Universally Quantified, and Reference Types

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04027-6_17 ◽

2009 ◽

pp. 209-224 ◽

Author(s):

Mariangiola Dezani-Ciancaglini ◽

Paola Giannini ◽

Simona Ronchi Della Rocca

Download Full-text