Homotopy Type Theory 2024-03-15T17:04:27Z tag:ncatlab.org,2014-02-17:Homotopy+Type+Theory An Instiki Wiki Instiki integers > history 2024-03-15T17:04:27Z 2022-02-26T06:12:53Z tag:ncatlab.org,2022-02-26:Homotopy Type Theory,integers+%3E+history Anonymouse Updated by Anonymouse on 2024-03-15 at 17:04:27Z. Sandbox 2024-03-08T18:11:52Z 2022-03-11T23:00:34Z tag:ncatlab.org,2022-03-11:Homotopy Type Theory,Sandbox Anonymous Updated by Anonymous on 2024-03-08 at 18:11:52Z. dependent type theory > history 2022-11-28T06:56:12Z 2022-10-13T03:54:48Z tag:ncatlab.org,2022-10-13:Homotopy Type Theory,dependent+type+theory+%3E+history Anonymous Updated by Anonymous on 2022-11-28 at 06:56:12Z. homotopy type theory > history 2022-11-28T04:08:03Z 2022-04-14T07:31:45Z tag:ncatlab.org,2022-04-14:Homotopy Type Theory,homotopy+type+theory+%3E+history Anonymous Updated by Anonymous on 2022-11-28 at 04:08:03Z. ETCS as a dependent type theory > history 2022-11-28T03:48:48Z 2022-10-19T22:59:22Z tag:ncatlab.org,2022-10-19:Homotopy Type Theory,ETCS+as+a+dependent+type+theory+%3E+history Anonymous Updated by Anonymous on 2022-11-28 at 03:48:48Z. cohesive homotopy type theory > history 2022-11-28T03:21:30Z 2022-04-02T17:45:38Z tag:ncatlab.org,2022-04-02:Homotopy Type Theory,cohesive+homotopy+type+theory+%3E+history Anonymous Updated by Anonymous on 2022-11-28 at 03:21:30Z. HomePage 2022-11-28T03:18:42Z 2014-02-17T04:19:42Z tag:ncatlab.org,2014-02-17:Homotopy Type Theory,HomePage Anonymous Updated by Anonymous on 2022-11-28 at 03:18:42Z. propositional logic > history 2022-10-14T20:17:28Z 2022-10-14T02:32:15Z tag:ncatlab.org,2022-10-14:Homotopy Type Theory,propositional+logic+%3E+history Anonymous Updated by Anonymous on 2022-10-14 at 20:17:28Z. type theory over logic > history 2022-10-14T20:14:38Z 2022-10-14T17:47:52Z tag:ncatlab.org,2022-10-14:Homotopy Type Theory,type+theory+over+logic+%3E+history Anonymous Updated by Anonymous on 2022-10-14 at 20:14:38Z. Tarski universe > history 2022-10-07T14:10:14Z 2022-10-04T13:51:33Z tag:ncatlab.org,2022-10-04:Homotopy Type Theory,Tarski+universe+%3E+history Anonymous Updated by Anonymous on 2022-10-07 at 14:10:14Z. universe > history 2022-10-04T13:39:36Z 2014-03-31T11:54:13Z tag:ncatlab.org,2014-03-31:Homotopy Type Theory,universe+%3E+history Anonymous Updated by Anonymous on 2022-10-04 at 13:39:36Z. about > history 2022-06-20T03:06:12Z 2014-02-18T13:13:54Z tag:ncatlab.org,2014-02-18:Homotopy Type Theory,about+%3E+history Anonymous Updated by Anonymous on 2022-06-20 at 03:06:12Z. an axiomatization of the real numbers > history 2022-06-19T23:52:18Z 2022-04-22T08:29:10Z tag:ncatlab.org,2022-04-22:Homotopy Type Theory,an+axiomatization+of+the+real+numbers+%3E+history Anonymous Updated by Anonymous on 2022-06-19 at 23:52:18Z. higher observational type theory > history 2022-06-19T18:26:34Z 2022-04-29T14:10:55Z tag:ncatlab.org,2022-04-29:Homotopy Type Theory,higher+observational+type+theory+%3E+history Anonymous Updated by Anonymous on 2022-06-19 at 18:26:34Z. booleans > history 2022-06-19T03:04:10Z 2022-03-12T17:21:15Z tag:ncatlab.org,2022-03-12:Homotopy Type Theory,booleans+%3E+history Anonymous Updated by Anonymous on 2022-06-19 at 03:04:10Z.