Matches in SemOpenAlex for { <https://semopenalex.org/work/W2175195909> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2175195909 endingPage "134" @default.
- W2175195909 startingPage "120" @default.
- W2175195909 abstract "We introduce categories with families as a new notion of model for a basic framework of dependent types. This notion is close to ordinary syntax and yet has a clean categorical description. We also present categories with families as a generalized algebraic theory. Then we define categories with families formally in Martin-Lof's intensional intuitionistic type theory. Finally, we discuss the coherence problem for these internal categories with families." @default.
- W2175195909 created "2016-06-24" @default.
- W2175195909 creator A5053761104 @default.
- W2175195909 date "1996-01-01" @default.
- W2175195909 modified "2023-09-26" @default.
- W2175195909 title "Internal type theory" @default.
- W2175195909 hasPublicationYear "1996" @default.
- W2175195909 type Work @default.
- W2175195909 sameAs 2175195909 @default.
- W2175195909 citedByCount "25" @default.
- W2175195909 countsByYear W21751959092012 @default.
- W2175195909 countsByYear W21751959092014 @default.
- W2175195909 countsByYear W21751959092015 @default.
- W2175195909 countsByYear W21751959092016 @default.
- W2175195909 countsByYear W21751959092017 @default.
- W2175195909 countsByYear W21751959092018 @default.
- W2175195909 countsByYear W21751959092019 @default.
- W2175195909 countsByYear W21751959092020 @default.
- W2175195909 countsByYear W21751959092021 @default.
- W2175195909 crossrefType "journal-article" @default.
- W2175195909 hasAuthorship W2175195909A5053761104 @default.
- W2175195909 hasConcept C105795698 @default.
- W2175195909 hasConcept C118615104 @default.
- W2175195909 hasConcept C134306372 @default.
- W2175195909 hasConcept C136119220 @default.
- W2175195909 hasConcept C154945302 @default.
- W2175195909 hasConcept C18903297 @default.
- W2175195909 hasConcept C202444582 @default.
- W2175195909 hasConcept C20528804 @default.
- W2175195909 hasConcept C2777299769 @default.
- W2175195909 hasConcept C2779782106 @default.
- W2175195909 hasConcept C33923547 @default.
- W2175195909 hasConcept C41008148 @default.
- W2175195909 hasConcept C5274069 @default.
- W2175195909 hasConcept C54884031 @default.
- W2175195909 hasConcept C60048249 @default.
- W2175195909 hasConcept C62073222 @default.
- W2175195909 hasConcept C86803240 @default.
- W2175195909 hasConcept C93682546 @default.
- W2175195909 hasConcept C9376300 @default.
- W2175195909 hasConceptScore W2175195909C105795698 @default.
- W2175195909 hasConceptScore W2175195909C118615104 @default.
- W2175195909 hasConceptScore W2175195909C134306372 @default.
- W2175195909 hasConceptScore W2175195909C136119220 @default.
- W2175195909 hasConceptScore W2175195909C154945302 @default.
- W2175195909 hasConceptScore W2175195909C18903297 @default.
- W2175195909 hasConceptScore W2175195909C202444582 @default.
- W2175195909 hasConceptScore W2175195909C20528804 @default.
- W2175195909 hasConceptScore W2175195909C2777299769 @default.
- W2175195909 hasConceptScore W2175195909C2779782106 @default.
- W2175195909 hasConceptScore W2175195909C33923547 @default.
- W2175195909 hasConceptScore W2175195909C41008148 @default.
- W2175195909 hasConceptScore W2175195909C5274069 @default.
- W2175195909 hasConceptScore W2175195909C54884031 @default.
- W2175195909 hasConceptScore W2175195909C60048249 @default.
- W2175195909 hasConceptScore W2175195909C62073222 @default.
- W2175195909 hasConceptScore W2175195909C86803240 @default.
- W2175195909 hasConceptScore W2175195909C93682546 @default.
- W2175195909 hasConceptScore W2175195909C9376300 @default.
- W2175195909 hasLocation W21751959091 @default.
- W2175195909 hasOpenAccess W2175195909 @default.
- W2175195909 hasPrimaryLocation W21751959091 @default.
- W2175195909 hasRelatedWork W1520893111 @default.
- W2175195909 hasRelatedWork W1533094521 @default.
- W2175195909 hasRelatedWork W1553206107 @default.
- W2175195909 hasRelatedWork W1828583149 @default.
- W2175195909 hasRelatedWork W1892525621 @default.
- W2175195909 hasRelatedWork W2006941708 @default.
- W2175195909 hasRelatedWork W2022837260 @default.
- W2175195909 hasRelatedWork W2058174669 @default.
- W2175195909 hasRelatedWork W2098691999 @default.
- W2175195909 hasRelatedWork W2106718208 @default.
- W2175195909 hasRelatedWork W2116438866 @default.
- W2175195909 hasRelatedWork W2120677003 @default.
- W2175195909 hasRelatedWork W2151520617 @default.
- W2175195909 hasRelatedWork W223002628 @default.
- W2175195909 hasRelatedWork W2550513301 @default.
- W2175195909 hasRelatedWork W3021313268 @default.
- W2175195909 hasRelatedWork W3104964042 @default.
- W2175195909 hasRelatedWork W3114565313 @default.
- W2175195909 hasRelatedWork W3206659187 @default.
- W2175195909 hasRelatedWork W569543113 @default.
- W2175195909 hasVolume "1158" @default.
- W2175195909 isParatext "false" @default.
- W2175195909 isRetracted "false" @default.
- W2175195909 magId "2175195909" @default.
- W2175195909 workType "article" @default.