Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116198712> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2116198712 endingPage "119" @default.
- W2116198712 startingPage "99" @default.
- W2116198712 abstract "We show that Hofmann's and Curien's interpretations of Martin-Lof's type theory, which were both designed to cure a mismatch between syntax and semantics in Seely's original interpretation in locally cartesian closed categories, are related via a natural isomorphism. As an outcome, we obtain a new proof of the coherence theorem needed to show the soundness after all of Seely's interpretation." @default.
- W2116198712 created "2016-06-24" @default.
- W2116198712 creator A5045461807 @default.
- W2116198712 creator A5064315130 @default.
- W2116198712 creator A5075724502 @default.
- W2116198712 date "2014-08-01" @default.
- W2116198712 modified "2023-10-12" @default.
- W2116198712 title "Revisiting the categorical interpretation of dependent type theory" @default.
- W2116198712 cites W1998040359 @default.
- W2116198712 cites W2022595765 @default.
- W2116198712 cites W2022837260 @default.
- W2116198712 cites W2081723613 @default.
- W2116198712 cites W2158324835 @default.
- W2116198712 cites W3102482356 @default.
- W2116198712 doi "https://doi.org/10.1016/j.tcs.2014.03.003" @default.
- W2116198712 hasPublicationYear "2014" @default.
- W2116198712 type Work @default.
- W2116198712 sameAs 2116198712 @default.
- W2116198712 citedByCount "14" @default.
- W2116198712 countsByYear W21161987122014 @default.
- W2116198712 countsByYear W21161987122015 @default.
- W2116198712 countsByYear W21161987122016 @default.
- W2116198712 countsByYear W21161987122019 @default.
- W2116198712 countsByYear W21161987122020 @default.
- W2116198712 countsByYear W21161987122021 @default.
- W2116198712 countsByYear W21161987122022 @default.
- W2116198712 crossrefType "journal-article" @default.
- W2116198712 hasAuthorship W2116198712A5045461807 @default.
- W2116198712 hasAuthorship W2116198712A5064315130 @default.
- W2116198712 hasAuthorship W2116198712A5075724502 @default.
- W2116198712 hasBestOaLocation W21161987121 @default.
- W2116198712 hasConcept C105795698 @default.
- W2116198712 hasConcept C111472728 @default.
- W2116198712 hasConcept C136119220 @default.
- W2116198712 hasConcept C138885662 @default.
- W2116198712 hasConcept C18903297 @default.
- W2116198712 hasConcept C199343813 @default.
- W2116198712 hasConcept C199360897 @default.
- W2116198712 hasConcept C202444582 @default.
- W2116198712 hasConcept C204321447 @default.
- W2116198712 hasConcept C2777299769 @default.
- W2116198712 hasConcept C2777686260 @default.
- W2116198712 hasConcept C33923547 @default.
- W2116198712 hasConcept C41008148 @default.
- W2116198712 hasConcept C41895202 @default.
- W2116198712 hasConcept C5274069 @default.
- W2116198712 hasConcept C527412718 @default.
- W2116198712 hasConcept C71924100 @default.
- W2116198712 hasConcept C86803240 @default.
- W2116198712 hasConcept C93682546 @default.
- W2116198712 hasConceptScore W2116198712C105795698 @default.
- W2116198712 hasConceptScore W2116198712C111472728 @default.
- W2116198712 hasConceptScore W2116198712C136119220 @default.
- W2116198712 hasConceptScore W2116198712C138885662 @default.
- W2116198712 hasConceptScore W2116198712C18903297 @default.
- W2116198712 hasConceptScore W2116198712C199343813 @default.
- W2116198712 hasConceptScore W2116198712C199360897 @default.
- W2116198712 hasConceptScore W2116198712C202444582 @default.
- W2116198712 hasConceptScore W2116198712C204321447 @default.
- W2116198712 hasConceptScore W2116198712C2777299769 @default.
- W2116198712 hasConceptScore W2116198712C2777686260 @default.
- W2116198712 hasConceptScore W2116198712C33923547 @default.
- W2116198712 hasConceptScore W2116198712C41008148 @default.
- W2116198712 hasConceptScore W2116198712C41895202 @default.
- W2116198712 hasConceptScore W2116198712C5274069 @default.
- W2116198712 hasConceptScore W2116198712C527412718 @default.
- W2116198712 hasConceptScore W2116198712C71924100 @default.
- W2116198712 hasConceptScore W2116198712C86803240 @default.
- W2116198712 hasConceptScore W2116198712C93682546 @default.
- W2116198712 hasLocation W21161987121 @default.
- W2116198712 hasLocation W21161987122 @default.
- W2116198712 hasLocation W21161987123 @default.
- W2116198712 hasOpenAccess W2116198712 @default.
- W2116198712 hasPrimaryLocation W21161987121 @default.
- W2116198712 hasRelatedWork W1485978165 @default.
- W2116198712 hasRelatedWork W2056487150 @default.
- W2116198712 hasRelatedWork W2787703111 @default.
- W2116198712 hasRelatedWork W3120415410 @default.
- W2116198712 hasRelatedWork W4241070479 @default.
- W2116198712 hasRelatedWork W4283575722 @default.
- W2116198712 hasRelatedWork W4306353309 @default.
- W2116198712 hasRelatedWork W4306816010 @default.
- W2116198712 hasRelatedWork W4376865054 @default.
- W2116198712 hasRelatedWork W4225424606 @default.
- W2116198712 hasVolume "546" @default.
- W2116198712 isParatext "false" @default.
- W2116198712 isRetracted "false" @default.
- W2116198712 magId "2116198712" @default.
- W2116198712 workType "article" @default.