Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205120175> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4205120175 abstract "We work with combinatorial maps to represent graph embeddings into surfaces up to isotopy. The surface in which the graph is embedded is left implicit in this approach. The constructions herein are proof-relevant and stated with a subset of the language of homotopy type theory." @default.
- W4205120175 created "2022-01-25" @default.
- W4205120175 creator A5065839702 @default.
- W4205120175 date "2022-01-11" @default.
- W4205120175 modified "2023-09-26" @default.
- W4205120175 title "On homotopy of walks and spherical maps in homotopy type theory" @default.
- W4205120175 cites W1481038699 @default.
- W4205120175 cites W2019912818 @default.
- W4205120175 cites W2035324774 @default.
- W4205120175 cites W2082388593 @default.
- W4205120175 cites W2516238737 @default.
- W4205120175 cites W2533890487 @default.
- W4205120175 cites W2897762392 @default.
- W4205120175 cites W3004330900 @default.
- W4205120175 cites W3034205668 @default.
- W4205120175 cites W3101094428 @default.
- W4205120175 cites W4245608944 @default.
- W4205120175 doi "https://doi.org/10.1145/3497775.3503671" @default.
- W4205120175 hasPublicationYear "2022" @default.
- W4205120175 type Work @default.
- W4205120175 citedByCount "0" @default.
- W4205120175 crossrefType "proceedings-article" @default.
- W4205120175 hasAuthorship W4205120175A5065839702 @default.
- W4205120175 hasBestOaLocation W42051201751 @default.
- W4205120175 hasConcept C114614502 @default.
- W4205120175 hasConcept C119720664 @default.
- W4205120175 hasConcept C132525143 @default.
- W4205120175 hasConcept C136119220 @default.
- W4205120175 hasConcept C150275644 @default.
- W4205120175 hasConcept C164043645 @default.
- W4205120175 hasConcept C168334404 @default.
- W4205120175 hasConcept C18003601 @default.
- W4205120175 hasConcept C18903297 @default.
- W4205120175 hasConcept C191752858 @default.
- W4205120175 hasConcept C202444582 @default.
- W4205120175 hasConcept C2524010 @default.
- W4205120175 hasConcept C2776799497 @default.
- W4205120175 hasConcept C2777299769 @default.
- W4205120175 hasConcept C2778876713 @default.
- W4205120175 hasConcept C33923547 @default.
- W4205120175 hasConcept C35234519 @default.
- W4205120175 hasConcept C5961521 @default.
- W4205120175 hasConcept C79236096 @default.
- W4205120175 hasConcept C86803240 @default.
- W4205120175 hasConceptScore W4205120175C114614502 @default.
- W4205120175 hasConceptScore W4205120175C119720664 @default.
- W4205120175 hasConceptScore W4205120175C132525143 @default.
- W4205120175 hasConceptScore W4205120175C136119220 @default.
- W4205120175 hasConceptScore W4205120175C150275644 @default.
- W4205120175 hasConceptScore W4205120175C164043645 @default.
- W4205120175 hasConceptScore W4205120175C168334404 @default.
- W4205120175 hasConceptScore W4205120175C18003601 @default.
- W4205120175 hasConceptScore W4205120175C18903297 @default.
- W4205120175 hasConceptScore W4205120175C191752858 @default.
- W4205120175 hasConceptScore W4205120175C202444582 @default.
- W4205120175 hasConceptScore W4205120175C2524010 @default.
- W4205120175 hasConceptScore W4205120175C2776799497 @default.
- W4205120175 hasConceptScore W4205120175C2777299769 @default.
- W4205120175 hasConceptScore W4205120175C2778876713 @default.
- W4205120175 hasConceptScore W4205120175C33923547 @default.
- W4205120175 hasConceptScore W4205120175C35234519 @default.
- W4205120175 hasConceptScore W4205120175C5961521 @default.
- W4205120175 hasConceptScore W4205120175C79236096 @default.
- W4205120175 hasConceptScore W4205120175C86803240 @default.
- W4205120175 hasLocation W42051201751 @default.
- W4205120175 hasLocation W42051201752 @default.
- W4205120175 hasOpenAccess W4205120175 @default.
- W4205120175 hasPrimaryLocation W42051201751 @default.
- W4205120175 hasRelatedWork W121514703 @default.
- W4205120175 hasRelatedWork W1966906304 @default.
- W4205120175 hasRelatedWork W2039309403 @default.
- W4205120175 hasRelatedWork W2081524069 @default.
- W4205120175 hasRelatedWork W2804066429 @default.
- W4205120175 hasRelatedWork W2963024429 @default.
- W4205120175 hasRelatedWork W3141701452 @default.
- W4205120175 hasRelatedWork W4205120175 @default.
- W4205120175 hasRelatedWork W4214641007 @default.
- W4205120175 hasRelatedWork W85903140 @default.
- W4205120175 isParatext "false" @default.
- W4205120175 isRetracted "false" @default.
- W4205120175 workType "article" @default.