Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

First Page		Document Content
Date: 2015-05-18 17:52:51		Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.tyconmismatch.com Download Document from Source Website File Size: 358,89 KB Share Document on Facebook