Homotopy Type Theory Uploaded Files

Uploaded Files in Homotopy Type Theory

Check the files you wish to delete (sort by filename).

• HTS.pdf (Thu Mar 6 15:36:57 2014)
• torus.pdf (Sat Mar 8 18:43:57 2014)
• hit-semantics.pdf (Mon Mar 17 09:57:44 2014)
• tribes.pdf (Mon Mar 24 08:57:01 2014)
• Joyal.pdf (Mon Mar 24 09:00:03 2014)
• MIT.pdf (Mon Mar 24 12:55:36 2014)
• hts-semisimplicial.v (Sun May 4 06:35:40 2014)
• GalloziCSTTarski.pdf (Fri Oct 17 15:35:13 2014)
• HofmannDMV.pdf (Thu Sep 24 20:06:25 2015)
• GambinoDMV.pdf (Fri Sep 25 08:33:44 2015)
• AwodeyDMV.pdf (Fri Sep 25 19:17:37 2015)
• Altenkirch.pdf (Sat Sep 26 20:17:42 2015)
• AwodeyDMVrev.pdf (Sun Sep 27 03:48:24 2015)
• AwodeyDMVrev.pdf (Sun Sep 27 03:51:34 2015)
• SpittersDMV.pdf (Mon Sep 28 15:42:43 2015)
• Mogelberg.pdf (Tue Sep 29 11:46:29 2015)
• vonGlehnDMV2015.pdf (Wed Sep 30 15:17:28 2015)
• faft.txt (Fri Oct 9 10:38:21 2015)
• The_Univalence_Axiom_in_Dependent_Type_Theory (Tue Mar 1 01:57:08 2016)
• DTUA (Tue Mar 1 01:59:50 2016)
• DTUA.pdf (Tue Mar 1 02:01:39 2016)
• HoTT.pdf (Tue Mar 1 02:21:19 2016)
• BvdB.pdf (Wed Jun 6 15:52:42 2018)
• BvdB.pdf (Wed Jun 6 15:53:50 2018)
• vdB.pdf (Wed Jun 6 15:57:18 2018)
• vdB.pdf (Wed Jun 6 15:57:40 2018)
• MortbergBonn.pdf (Thu Jun 7 15:57:17 2018)
• awodeyMURI18.pdf (Sun Jun 10 11:02:39 2018)
• vanDoorn.pdf (Mon Jun 11 07:23:08 2018)
• proposal2009.pdf (Tue Mar 12 20:31:38 2019)
• proposal2009.pdf (Tue Mar 12 20:32:29 2019)
• proposal2009.pdf (Tue Mar 12 20:32:54 2019)
• proposal2009.pdf (Tue Mar 12 20:33:20 2019)
• hott-intro.pdf (Mon May 2 00:16:16 2022)