http://math.andrej.com/2004/05/04/propositions-as-types/ Mathematics for computers Mon, 30 Jan 2012 07:14:48 +0000 hourly 1 http://wordpress.org/?v=3.2-beta2-18055 http://math.andrej.com/2004/05/04/propositions-as-types/comment-page-1/#comment-15538 Constructive Validity | Homotopy Type Theory Sun, 20 Mar 2011 03:59:16 +0000 http://math.andrej.com/?p=22#comment-15538 [...] principles in dependent type theory, in: Vol. 2277 of LNCS, Springer-Verlag, 2002, pp. 1-23.), the [bracket] types of Awodey and Bauer (Journal of Logic and Computation. Volume 14, Issue 4, August 2004, pp. [...] [...] principles in dependent type theory, in: Vol. 2277 of LNCS, Springer-Verlag, 2002, pp. 1-23.), the [bracket] types of Awodey and Bauer (Journal of Logic and Computation. Volume 14, Issue 4, August 2004, pp. [...]

]]>