United States District Court for the District of Montana - Document - PDFSEARCH.IO

First Page	Meta Content
	A proposition is the (homotopy) type of its proofs Steve Awodey∗ January 8, 2016 There are, at first blush, two kinds Add to Reading List Document Date: 2018-02-12 22:13:01 Open Document File Size: 218,53 KB Share Result on Facebook

A proposition is the (homotopy) type of its proofs Steve Awodey∗ January 8, 2016 There are, at first blush, two kindsAdd to Reading List