Principal Typings In A Restricted Intersection Type System For Beta Normal Forms With De Bruijn Indices.pdf
"Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with de Bruijn Indices" is owned and hosted by mat.unb.br, this file has been downloaded 54 times, the last time was in 2024-10-25.
Daniel L. Ventura1,2 & Mauricio Ayala-Rincón1 & Fairouz D. Kamareddine is the creator of talkWRS2009.pdf.
The pdf has been created in 2009-06-28, if you want to preview or download it, just click the link below.
| Download | ||
| Title | Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with de Bruijn Indices | |
| File Name | talkWRS2009.pdf - 390.16 KB | |
| Pages | 41 pages | |
| Owner | mat.unb.br | |
| Author | Daniel L. Ventura1,2 & Mauricio Ayala-Rincón1 & Fairouz D. Kamareddine | |
| Creation date | 15 years ago | |
| Nb of downloads | 54 | |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with de Bruijn Indices" does not meet your expectations, we invite you to take a look at the similar files below :