Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385200416> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4385200416 endingPage "179" @default.
- W4385200416 startingPage "134" @default.
- W4385200416 abstract "Abstract We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin–Löf type theory, two-level type theory, and cubical type theory. We establish basic results in the semantics of type theory: every type theory has a bi-initial model; every model of a type theory has its internal language; the category of theories over a type theory is bi-equivalent to a full sub-2-category of the 2-category of models of the type theory." @default.
- W4385200416 created "2023-07-25" @default.
- W4385200416 creator A5000135190 @default.
- W4385200416 date "2023-03-01" @default.
- W4385200416 modified "2023-09-23" @default.
- W4385200416 title "A general framework for the semantics of type theory" @default.
- W4385200416 cites W1494555245 @default.
- W4385200416 cites W1595870841 @default.
- W4385200416 cites W1828583149 @default.
- W4385200416 cites W1964572513 @default.
- W4385200416 cites W1967613287 @default.
- W4385200416 cites W1974190112 @default.
- W4385200416 cites W1988824860 @default.
- W4385200416 cites W1998040359 @default.
- W4385200416 cites W2009617810 @default.
- W4385200416 cites W2016862652 @default.
- W4385200416 cites W2022837260 @default.
- W4385200416 cites W2107674601 @default.
- W4385200416 cites W2151520617 @default.
- W4385200416 cites W2494316805 @default.
- W4385200416 cites W2550513301 @default.
- W4385200416 cites W2757812197 @default.
- W4385200416 cites W2942484403 @default.
- W4385200416 cites W2962703185 @default.
- W4385200416 cites W2962920088 @default.
- W4385200416 cites W2963249536 @default.
- W4385200416 cites W2964239360 @default.
- W4385200416 cites W2964305797 @default.
- W4385200416 cites W3104964042 @default.
- W4385200416 cites W3105116513 @default.
- W4385200416 cites W4206352891 @default.
- W4385200416 cites W4380538482 @default.
- W4385200416 cites W75859641 @default.
- W4385200416 doi "https://doi.org/10.1017/s0960129523000208" @default.
- W4385200416 hasPublicationYear "2023" @default.
- W4385200416 type Work @default.
- W4385200416 citedByCount "0" @default.
- W4385200416 crossrefType "journal-article" @default.
- W4385200416 hasAuthorship W4385200416A5000135190 @default.
- W4385200416 hasBestOaLocation W43852004161 @default.
- W4385200416 hasConcept C118615104 @default.
- W4385200416 hasConcept C136119220 @default.
- W4385200416 hasConcept C184337299 @default.
- W4385200416 hasConcept C18903297 @default.
- W4385200416 hasConcept C199360897 @default.
- W4385200416 hasConcept C202444582 @default.
- W4385200416 hasConcept C2777299769 @default.
- W4385200416 hasConcept C33923547 @default.
- W4385200416 hasConcept C41008148 @default.
- W4385200416 hasConcept C47030870 @default.
- W4385200416 hasConcept C54884031 @default.
- W4385200416 hasConcept C86803240 @default.
- W4385200416 hasConcept C93682546 @default.
- W4385200416 hasConceptScore W4385200416C118615104 @default.
- W4385200416 hasConceptScore W4385200416C136119220 @default.
- W4385200416 hasConceptScore W4385200416C184337299 @default.
- W4385200416 hasConceptScore W4385200416C18903297 @default.
- W4385200416 hasConceptScore W4385200416C199360897 @default.
- W4385200416 hasConceptScore W4385200416C202444582 @default.
- W4385200416 hasConceptScore W4385200416C2777299769 @default.
- W4385200416 hasConceptScore W4385200416C33923547 @default.
- W4385200416 hasConceptScore W4385200416C41008148 @default.
- W4385200416 hasConceptScore W4385200416C47030870 @default.
- W4385200416 hasConceptScore W4385200416C54884031 @default.
- W4385200416 hasConceptScore W4385200416C86803240 @default.
- W4385200416 hasConceptScore W4385200416C93682546 @default.
- W4385200416 hasIssue "3" @default.
- W4385200416 hasLocation W43852004161 @default.
- W4385200416 hasLocation W43852004162 @default.
- W4385200416 hasOpenAccess W4385200416 @default.
- W4385200416 hasPrimaryLocation W43852004161 @default.
- W4385200416 hasRelatedWork W1507779663 @default.
- W4385200416 hasRelatedWork W1974294638 @default.
- W4385200416 hasRelatedWork W2121082846 @default.
- W4385200416 hasRelatedWork W2619967389 @default.
- W4385200416 hasRelatedWork W2934040968 @default.
- W4385200416 hasRelatedWork W2952065348 @default.
- W4385200416 hasRelatedWork W2963297606 @default.
- W4385200416 hasRelatedWork W2971463921 @default.
- W4385200416 hasRelatedWork W4380090991 @default.
- W4385200416 hasRelatedWork W4385200416 @default.
- W4385200416 hasVolume "33" @default.
- W4385200416 isParatext "false" @default.
- W4385200416 isRetracted "false" @default.
- W4385200416 workType "article" @default.