Matches in SemOpenAlex for { <https://semopenalex.org/work/W2624479311> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2624479311 abstract "This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the foundation for a computer checked construction of homology." @default.
- W2624479311 created "2017-06-15" @default.
- W2624479311 creator A5050644971 @default.
- W2624479311 date "2017-06-05" @default.
- W2624479311 modified "2023-09-22" @default.
- W2624479311 title "Synthetic Homology in Homotopy Type Theory" @default.
- W2624479311 cites W1553187622 @default.
- W2624479311 cites W2102538436 @default.
- W2624479311 cites W2153583112 @default.
- W2624479311 cites W2472013890 @default.
- W2624479311 cites W2475129850 @default.
- W2624479311 cites W2888847101 @default.
- W2624479311 cites W2951879022 @default.
- W2624479311 cites W3040586665 @default.
- W2624479311 cites W3102482356 @default.
- W2624479311 cites W3106009785 @default.
- W2624479311 hasPublicationYear "2017" @default.
- W2624479311 type Work @default.
- W2624479311 sameAs 2624479311 @default.
- W2624479311 citedByCount "3" @default.
- W2624479311 countsByYear W26244793112018 @default.
- W2624479311 countsByYear W26244793112021 @default.
- W2624479311 crossrefType "posted-content" @default.
- W2624479311 hasAuthorship W2624479311A5050644971 @default.
- W2624479311 hasConcept C114614502 @default.
- W2624479311 hasConcept C119720664 @default.
- W2624479311 hasConcept C136119220 @default.
- W2624479311 hasConcept C139962677 @default.
- W2624479311 hasConcept C147688034 @default.
- W2624479311 hasConcept C150275644 @default.
- W2624479311 hasConcept C165525559 @default.
- W2624479311 hasConcept C168334404 @default.
- W2624479311 hasConcept C18003601 @default.
- W2624479311 hasConcept C184720557 @default.
- W2624479311 hasConcept C185592680 @default.
- W2624479311 hasConcept C191752858 @default.
- W2624479311 hasConcept C202232017 @default.
- W2624479311 hasConcept C202444582 @default.
- W2624479311 hasConcept C33923547 @default.
- W2624479311 hasConcept C515207424 @default.
- W2624479311 hasConcept C55493867 @default.
- W2624479311 hasConcept C5961521 @default.
- W2624479311 hasConcept C78606066 @default.
- W2624479311 hasConcept C79236096 @default.
- W2624479311 hasConceptScore W2624479311C114614502 @default.
- W2624479311 hasConceptScore W2624479311C119720664 @default.
- W2624479311 hasConceptScore W2624479311C136119220 @default.
- W2624479311 hasConceptScore W2624479311C139962677 @default.
- W2624479311 hasConceptScore W2624479311C147688034 @default.
- W2624479311 hasConceptScore W2624479311C150275644 @default.
- W2624479311 hasConceptScore W2624479311C165525559 @default.
- W2624479311 hasConceptScore W2624479311C168334404 @default.
- W2624479311 hasConceptScore W2624479311C18003601 @default.
- W2624479311 hasConceptScore W2624479311C184720557 @default.
- W2624479311 hasConceptScore W2624479311C185592680 @default.
- W2624479311 hasConceptScore W2624479311C191752858 @default.
- W2624479311 hasConceptScore W2624479311C202232017 @default.
- W2624479311 hasConceptScore W2624479311C202444582 @default.
- W2624479311 hasConceptScore W2624479311C33923547 @default.
- W2624479311 hasConceptScore W2624479311C515207424 @default.
- W2624479311 hasConceptScore W2624479311C55493867 @default.
- W2624479311 hasConceptScore W2624479311C5961521 @default.
- W2624479311 hasConceptScore W2624479311C78606066 @default.
- W2624479311 hasConceptScore W2624479311C79236096 @default.
- W2624479311 hasLocation W26244793111 @default.
- W2624479311 hasOpenAccess W2624479311 @default.
- W2624479311 hasPrimaryLocation W26244793111 @default.
- W2624479311 hasRelatedWork W1545173336 @default.
- W2624479311 hasRelatedWork W1966520170 @default.
- W2624479311 hasRelatedWork W1967247142 @default.
- W2624479311 hasRelatedWork W2027667089 @default.
- W2624479311 hasRelatedWork W2104804871 @default.
- W2624479311 hasRelatedWork W2204372176 @default.
- W2624479311 hasRelatedWork W2494422288 @default.
- W2624479311 hasRelatedWork W2553710686 @default.
- W2624479311 hasRelatedWork W2603296094 @default.
- W2624479311 hasRelatedWork W2611928773 @default.
- W2624479311 hasRelatedWork W2739569880 @default.
- W2624479311 hasRelatedWork W2804066429 @default.
- W2624479311 hasRelatedWork W2888847101 @default.
- W2624479311 hasRelatedWork W2950576293 @default.
- W2624479311 hasRelatedWork W2952558250 @default.
- W2624479311 hasRelatedWork W3090632622 @default.
- W2624479311 hasRelatedWork W619257763 @default.
- W2624479311 hasRelatedWork W161981797 @default.
- W2624479311 hasRelatedWork W2132255664 @default.
- W2624479311 hasRelatedWork W3091789646 @default.
- W2624479311 isParatext "false" @default.
- W2624479311 isRetracted "false" @default.
- W2624479311 magId "2624479311" @default.
- W2624479311 workType "article" @default.