![](https://www.pdfsearch.io/img/f8db04c8f968be721d20c203292d2c37.jpg) Date: 2015-03-10 14:01:25
| | Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris CasinghinoAdd to Reading ListSource URL: www.cs.yale.eduDownload Document from Source Website File Size: 444,40 KBShare Document on Facebook
|