![](https://www.pdfsearch.io/img/79dd31c927a272ae718e4771f4b1e089.jpg) Date: 2015-05-18 17:52:51
| | Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris CasinghinoAdd to Reading ListSource URL: www.tyconmismatch.comDownload Document from Source Website File Size: 358,89 KBShare Document on Facebook
|