Matches in SemOpenAlex for { <https://semopenalex.org/work/W2170599098> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2170599098 endingPage "736" @default.
- W2170599098 startingPage "687" @default.
- W2170599098 abstract "We describe a non-extensional variant of Martin-Löf type theory, which we call two-dimensional type theory , and equip it with a sound and complete semantics valued in 2-categories." @default.
- W2170599098 created "2016-06-24" @default.
- W2170599098 creator A5045461807 @default.
- W2170599098 date "2009-08-01" @default.
- W2170599098 modified "2023-10-17" @default.
- W2170599098 title "Two-dimensional models of type theory" @default.
- W2170599098 cites W1494555245 @default.
- W2170599098 cites W160811697 @default.
- W2170599098 cites W1828583149 @default.
- W2170599098 cites W1964572513 @default.
- W2170599098 cites W1988982133 @default.
- W2170599098 cites W1998040359 @default.
- W2170599098 cites W2006941708 @default.
- W2170599098 cites W2022837260 @default.
- W2170599098 cites W2028419206 @default.
- W2170599098 cites W2056183987 @default.
- W2170599098 cites W2077270594 @default.
- W2170599098 cites W2101274322 @default.
- W2170599098 cites W2120368659 @default.
- W2170599098 cites W2151011698 @default.
- W2170599098 cites W2158324835 @default.
- W2170599098 cites W3102482356 @default.
- W2170599098 cites W41360094 @default.
- W2170599098 cites W4248915083 @default.
- W2170599098 cites W75859641 @default.
- W2170599098 doi "https://doi.org/10.1017/s0960129509007646" @default.
- W2170599098 hasPublicationYear "2009" @default.
- W2170599098 type Work @default.
- W2170599098 sameAs 2170599098 @default.
- W2170599098 citedByCount "41" @default.
- W2170599098 countsByYear W21705990982012 @default.
- W2170599098 countsByYear W21705990982013 @default.
- W2170599098 countsByYear W21705990982014 @default.
- W2170599098 countsByYear W21705990982015 @default.
- W2170599098 countsByYear W21705990982016 @default.
- W2170599098 countsByYear W21705990982017 @default.
- W2170599098 countsByYear W21705990982018 @default.
- W2170599098 countsByYear W21705990982019 @default.
- W2170599098 countsByYear W21705990982020 @default.
- W2170599098 countsByYear W21705990982021 @default.
- W2170599098 countsByYear W21705990982022 @default.
- W2170599098 crossrefType "journal-article" @default.
- W2170599098 hasAuthorship W2170599098A5045461807 @default.
- W2170599098 hasBestOaLocation W21705990982 @default.
- W2170599098 hasConcept C127313418 @default.
- W2170599098 hasConcept C151730666 @default.
- W2170599098 hasConcept C2777299769 @default.
- W2170599098 hasConcept C41008148 @default.
- W2170599098 hasConcept C93682546 @default.
- W2170599098 hasConceptScore W2170599098C127313418 @default.
- W2170599098 hasConceptScore W2170599098C151730666 @default.
- W2170599098 hasConceptScore W2170599098C2777299769 @default.
- W2170599098 hasConceptScore W2170599098C41008148 @default.
- W2170599098 hasConceptScore W2170599098C93682546 @default.
- W2170599098 hasIssue "4" @default.
- W2170599098 hasLocation W21705990981 @default.
- W2170599098 hasLocation W21705990982 @default.
- W2170599098 hasLocation W21705990983 @default.
- W2170599098 hasOpenAccess W2170599098 @default.
- W2170599098 hasPrimaryLocation W21705990981 @default.
- W2170599098 hasRelatedWork W1532335840 @default.
- W2170599098 hasRelatedWork W2053194822 @default.
- W2170599098 hasRelatedWork W2787703111 @default.
- W2170599098 hasRelatedWork W2934040968 @default.
- W2170599098 hasRelatedWork W2971463921 @default.
- W2170599098 hasRelatedWork W2985011261 @default.
- W2170599098 hasRelatedWork W3174744436 @default.
- W2170599098 hasRelatedWork W4288024297 @default.
- W2170599098 hasRelatedWork W4297817897 @default.
- W2170599098 hasRelatedWork W4306816010 @default.
- W2170599098 hasVolume "19" @default.
- W2170599098 isParatext "false" @default.
- W2170599098 isRetracted "false" @default.
- W2170599098 magId "2170599098" @default.
- W2170599098 workType "article" @default.