Matches in SemOpenAlex for { <https://semopenalex.org/work/W2204569888> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2204569888 abstract "The main objective of this work is to study mathematical properties of computational paths. Originally proposed by de Queiroz & Gabbay (1994) as `sequences of rewrites', computational paths can be seen as the grounds on which the propositional equality between two computational objects stand. Using computational paths and categorical semantics, we take any type $A$ of type theory and construct a groupoid for this type. We call this groupoid the fundamental groupoid of a type $A$, since it is similar to the one obtained using the homotopical interpretation of the identity type. The main difference is that instead of being just a semantical interpretation, computational paths are entities of the syntax of type theory. We also expand our results, using computational paths to construct fundamental groupoids of higher levels." @default.
- W2204569888 created "2016-06-24" @default.
- W2204569888 creator A5033499244 @default.
- W2204569888 creator A5042865794 @default.
- W2204569888 creator A5084128763 @default.
- W2204569888 date "2015-09-21" @default.
- W2204569888 modified "2023-09-27" @default.
- W2204569888 title "On Computational Paths and the Fundamental Groupoid of a Type" @default.
- W2204569888 cites W1481038699 @default.
- W2204569888 cites W1716456307 @default.
- W2204569888 cites W1755836832 @default.
- W2204569888 cites W1921642287 @default.
- W2204569888 cites W2018415539 @default.
- W2204569888 cites W2098691999 @default.
- W2204569888 cites W2169827305 @default.
- W2204569888 cites W2610994252 @default.
- W2204569888 cites W2963961857 @default.
- W2204569888 cites W91240435 @default.
- W2204569888 hasPublicationYear "2015" @default.
- W2204569888 type Work @default.
- W2204569888 sameAs 2204569888 @default.
- W2204569888 citedByCount "0" @default.
- W2204569888 crossrefType "posted-content" @default.
- W2204569888 hasAuthorship W2204569888A5033499244 @default.
- W2204569888 hasAuthorship W2204569888A5042865794 @default.
- W2204569888 hasAuthorship W2204569888A5084128763 @default.
- W2204569888 hasConcept C11413529 @default.
- W2204569888 hasConcept C119857082 @default.
- W2204569888 hasConcept C121332964 @default.
- W2204569888 hasConcept C136119220 @default.
- W2204569888 hasConcept C154945302 @default.
- W2204569888 hasConcept C179799912 @default.
- W2204569888 hasConcept C184337299 @default.
- W2204569888 hasConcept C18903297 @default.
- W2204569888 hasConcept C199360897 @default.
- W2204569888 hasConcept C202444582 @default.
- W2204569888 hasConcept C24890656 @default.
- W2204569888 hasConcept C2777299769 @default.
- W2204569888 hasConcept C2778355321 @default.
- W2204569888 hasConcept C2780801425 @default.
- W2204569888 hasConcept C33923547 @default.
- W2204569888 hasConcept C41008148 @default.
- W2204569888 hasConcept C5274069 @default.
- W2204569888 hasConcept C527412718 @default.
- W2204569888 hasConcept C60048249 @default.
- W2204569888 hasConcept C66024118 @default.
- W2204569888 hasConcept C80444323 @default.
- W2204569888 hasConcept C86803240 @default.
- W2204569888 hasConcept C93682546 @default.
- W2204569888 hasConceptScore W2204569888C11413529 @default.
- W2204569888 hasConceptScore W2204569888C119857082 @default.
- W2204569888 hasConceptScore W2204569888C121332964 @default.
- W2204569888 hasConceptScore W2204569888C136119220 @default.
- W2204569888 hasConceptScore W2204569888C154945302 @default.
- W2204569888 hasConceptScore W2204569888C179799912 @default.
- W2204569888 hasConceptScore W2204569888C184337299 @default.
- W2204569888 hasConceptScore W2204569888C18903297 @default.
- W2204569888 hasConceptScore W2204569888C199360897 @default.
- W2204569888 hasConceptScore W2204569888C202444582 @default.
- W2204569888 hasConceptScore W2204569888C24890656 @default.
- W2204569888 hasConceptScore W2204569888C2777299769 @default.
- W2204569888 hasConceptScore W2204569888C2778355321 @default.
- W2204569888 hasConceptScore W2204569888C2780801425 @default.
- W2204569888 hasConceptScore W2204569888C33923547 @default.
- W2204569888 hasConceptScore W2204569888C41008148 @default.
- W2204569888 hasConceptScore W2204569888C5274069 @default.
- W2204569888 hasConceptScore W2204569888C527412718 @default.
- W2204569888 hasConceptScore W2204569888C60048249 @default.
- W2204569888 hasConceptScore W2204569888C66024118 @default.
- W2204569888 hasConceptScore W2204569888C80444323 @default.
- W2204569888 hasConceptScore W2204569888C86803240 @default.
- W2204569888 hasConceptScore W2204569888C93682546 @default.
- W2204569888 hasLocation W22045698881 @default.
- W2204569888 hasOpenAccess W2204569888 @default.
- W2204569888 hasPrimaryLocation W22045698881 @default.
- W2204569888 hasRelatedWork W1723739760 @default.
- W2204569888 hasRelatedWork W195403090 @default.
- W2204569888 hasRelatedWork W1982975653 @default.
- W2204569888 hasRelatedWork W2005800120 @default.
- W2204569888 hasRelatedWork W2089243009 @default.
- W2204569888 hasRelatedWork W2127497119 @default.
- W2204569888 hasRelatedWork W2144927799 @default.
- W2204569888 hasRelatedWork W2152009173 @default.
- W2204569888 hasRelatedWork W2206322614 @default.
- W2204569888 hasRelatedWork W2292818403 @default.
- W2204569888 hasRelatedWork W2760257855 @default.
- W2204569888 hasRelatedWork W2949430683 @default.
- W2204569888 hasRelatedWork W2952065348 @default.
- W2204569888 hasRelatedWork W2953022162 @default.
- W2204569888 hasRelatedWork W2963395258 @default.
- W2204569888 hasRelatedWork W3021153996 @default.
- W2204569888 hasRelatedWork W3094836992 @default.
- W2204569888 hasRelatedWork W3178443933 @default.
- W2204569888 hasRelatedWork W3185435633 @default.
- W2204569888 hasRelatedWork W3212098666 @default.
- W2204569888 isParatext "false" @default.
- W2204569888 isRetracted "false" @default.
- W2204569888 magId "2204569888" @default.
- W2204569888 workType "article" @default.