Matches in SemOpenAlex for { <https://semopenalex.org/work/W84482504> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W84482504 endingPage "16" @default.
- W84482504 startingPage "1" @default.
- W84482504 abstract "Homotopy type theory [Awodey and Warren, 2009; Voevodsky, 2011] is an extension of Martin-Löf’s intensional type theory [Martin-Löf, 1975; Nordström et al., 1990] with new principles such as Voevodsky’s univalence axiom and higher-dimensional inductive types [Lumsdaine and Shulman, 2013]. These extensions are interesting both from a computer science perspective, where they imbue the equality apparatus of type theory with new computational meaning, and from a mathematical perspective, where they allow higher-dimensional mathematics to be expressed cleanly and elegantly in type theory." @default.
- W84482504 created "2016-06-24" @default.
- W84482504 creator A5009198759 @default.
- W84482504 creator A5078664019 @default.
- W84482504 date "2013-01-01" @default.
- W84482504 modified "2023-10-14" @default.
- W84482504 title "π n (S n ) in Homotopy Type Theory" @default.
- W84482504 cites W1569447798 @default.
- W84482504 cites W1978777279 @default.
- W84482504 cites W2018415539 @default.
- W84482504 cites W2062764235 @default.
- W84482504 cites W2151520617 @default.
- W84482504 cites W3100912421 @default.
- W84482504 cites W3102482356 @default.
- W84482504 doi "https://doi.org/10.1007/978-3-319-03545-1_1" @default.
- W84482504 hasPublicationYear "2013" @default.
- W84482504 type Work @default.
- W84482504 sameAs 84482504 @default.
- W84482504 citedByCount "16" @default.
- W84482504 countsByYear W844825042014 @default.
- W84482504 countsByYear W844825042015 @default.
- W84482504 countsByYear W844825042016 @default.
- W84482504 countsByYear W844825042018 @default.
- W84482504 countsByYear W844825042020 @default.
- W84482504 crossrefType "book-chapter" @default.
- W84482504 hasAuthorship W84482504A5009198759 @default.
- W84482504 hasAuthorship W84482504A5078664019 @default.
- W84482504 hasConcept C12713177 @default.
- W84482504 hasConcept C136119220 @default.
- W84482504 hasConcept C154945302 @default.
- W84482504 hasConcept C167729594 @default.
- W84482504 hasConcept C18903297 @default.
- W84482504 hasConcept C199360897 @default.
- W84482504 hasConcept C202444582 @default.
- W84482504 hasConcept C2524010 @default.
- W84482504 hasConcept C2777299769 @default.
- W84482504 hasConcept C2778029271 @default.
- W84482504 hasConcept C33923547 @default.
- W84482504 hasConcept C41008148 @default.
- W84482504 hasConcept C5961521 @default.
- W84482504 hasConcept C86803240 @default.
- W84482504 hasConcept C93682546 @default.
- W84482504 hasConceptScore W84482504C12713177 @default.
- W84482504 hasConceptScore W84482504C136119220 @default.
- W84482504 hasConceptScore W84482504C154945302 @default.
- W84482504 hasConceptScore W84482504C167729594 @default.
- W84482504 hasConceptScore W84482504C18903297 @default.
- W84482504 hasConceptScore W84482504C199360897 @default.
- W84482504 hasConceptScore W84482504C202444582 @default.
- W84482504 hasConceptScore W84482504C2524010 @default.
- W84482504 hasConceptScore W84482504C2777299769 @default.
- W84482504 hasConceptScore W84482504C2778029271 @default.
- W84482504 hasConceptScore W84482504C33923547 @default.
- W84482504 hasConceptScore W84482504C41008148 @default.
- W84482504 hasConceptScore W84482504C5961521 @default.
- W84482504 hasConceptScore W84482504C86803240 @default.
- W84482504 hasConceptScore W84482504C93682546 @default.
- W84482504 hasLocation W844825041 @default.
- W84482504 hasLocation W844825042 @default.
- W84482504 hasOpenAccess W84482504 @default.
- W84482504 hasPrimaryLocation W844825041 @default.
- W84482504 hasRelatedWork W200058515 @default.
- W84482504 hasRelatedWork W2220627548 @default.
- W84482504 hasRelatedWork W2236593899 @default.
- W84482504 hasRelatedWork W2787703111 @default.
- W84482504 hasRelatedWork W2950712050 @default.
- W84482504 hasRelatedWork W2953133466 @default.
- W84482504 hasRelatedWork W3120415410 @default.
- W84482504 hasRelatedWork W4300009321 @default.
- W84482504 hasRelatedWork W4300523750 @default.
- W84482504 hasRelatedWork W4306816010 @default.
- W84482504 isParatext "false" @default.
- W84482504 isRetracted "false" @default.
- W84482504 magId "84482504" @default.
- W84482504 workType "book-chapter" @default.