Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand†

First Page		Document Content
Date: 2007-04-18 05:02:41		Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand† Add to Reading List Source URL: www.ii.uib.no Download Document from Source Website File Size: 130,80 KB Share Document on Facebook