Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Intersection Types: a Proof-Theoretical Approach Elaine Pimentel1,2 , Simona Ronchi Della Rocca1 , and Luca Roversi1? 1 Dipartimento di Scienze dell’Informazione, Universit`
Add to Reading List
Document Date: 2004-10-28 05:26:38
Open Document
File Size: 219,13 KB
Share Result on Facebook
Intersection Types: a Proof-Theoretical Approach Elaine Pimentel1,2 , Simona Ronchi Della Rocca1 , and Luca Roversi1? 1 Dipartimento di Scienze dell’Informazione, Universit`