Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • main default protected
  • master
2 results
Created with Raphaël 2.2.024Jan232219181327Dec829Nov28171614624Oct1913109875329Sep26222015730Aug2823221584128Jul25201811325Jun2085432131May3029282725242322181725Apr2014131Mar30292123Feb1312Jan411Dec20Oct181211417Aug27Jul21191824May218Jan74331Dec2416151488Sep31Jan3010876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861work on proofs in appendixupdates to abstract categorical model sectioncorrect title/authorssketchy stuff in the appendix on syntax and update to the extensional modelmatch Eric's notation for linear morphismsadd some definitionsdescribe Kleisli action on squareswork on abstract model constructionsupdate definition of abstract modelseparately functorial actions of CBPV type constructors on Kleisli arrowssome intro work and add macros for commentsbegin appendixbegin discussion sectionbegin section on concrete modelbegin discussion of abstract model constructionsadd some prose in terms.texchanges to technical backgroundchanges to ordering.texadd a citation in the introupdate definitionsrename "double poset" to "predomain"work on section on abstract categorical modelschanges to term precision syntax + semanticschanges to term syntax + semanticsremove section on topos of trees modelupdates to definitions filelics review formatlics formatmore work on abstract categorical modelwork on abstract categorical modelaxioms for the extensional and intensional theorieschanges to layout and prose of paperupdate referencesremove outdated pdfbegin description of denotational model for intensional gradual typingelimination form of intensional order (very slow)merge two cases(casenat/arr) into one casedyncheck in latex style filebegin rearranging: discuss term syn/sem and then ordering syn/semupdate cubical library path