Elaine Pimentel, Simona Ronchi Della Rocca, and Luca
Roversi
Intersection types: a proof-theoretical
approach
To appear in Proceedings of STRUCTURES AND DEDUCTION - ICALP Workshop
Lisbon July 16-17, 2005
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43