On the Decidability of Conversion in Type Theory Andreas Abel, Thierry Coquand, and Bassel Mannaa Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden {andreas.abel,thierry.coquand

First Page		Document Content
Date: 2016-05-17 15:07:26		On the Decidability of Conversion in Type Theory Andreas Abel, Thierry Coquand, and Bassel Mannaa Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden {andreas.abel,thierry.coquand Add to Reading List Source URL: www2.tcs.ifi.lmu.de Download Document from Source Website File Size: 291,65 KB Share Document on Facebook