Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294113313> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4294113313 abstract "We give a description of local and global moves on a class of locally planar trivalent graphs and we show that it contains $lambda$-Scale calculus, therefore in particular untyped lambda calculus. Surprisingly, the beta reduction rule comes from a local sewing transformation of trivalent locally planar graphs." @default.
- W4294113313 created "2022-09-02" @default.
- W4294113313 creator A5056765818 @default.
- W4294113313 date "2012-07-02" @default.
- W4294113313 modified "2023-09-26" @default.
- W4294113313 title "Local and global moves on locally planar trivalent graphs, lambda calculus and $lambda$-Scale" @default.
- W4294113313 doi "https://doi.org/10.48550/arxiv.1207.0332" @default.
- W4294113313 hasPublicationYear "2012" @default.
- W4294113313 type Work @default.
- W4294113313 citedByCount "0" @default.
- W4294113313 crossrefType "posted-content" @default.
- W4294113313 hasAuthorship W4294113313A5056765818 @default.
- W4294113313 hasBestOaLocation W42941133131 @default.
- W4294113313 hasConcept C101837359 @default.
- W4294113313 hasConcept C104317684 @default.
- W4294113313 hasConcept C114614502 @default.
- W4294113313 hasConcept C118615104 @default.
- W4294113313 hasConcept C121332964 @default.
- W4294113313 hasConcept C121684516 @default.
- W4294113313 hasConcept C132525143 @default.
- W4294113313 hasConcept C134786449 @default.
- W4294113313 hasConcept C135790938 @default.
- W4294113313 hasConcept C142156749 @default.
- W4294113313 hasConcept C154945302 @default.
- W4294113313 hasConcept C185592680 @default.
- W4294113313 hasConcept C199343813 @default.
- W4294113313 hasConcept C204241405 @default.
- W4294113313 hasConcept C2777212361 @default.
- W4294113313 hasConcept C2777686260 @default.
- W4294113313 hasConcept C2778113609 @default.
- W4294113313 hasConcept C2778755073 @default.
- W4294113313 hasConcept C33923547 @default.
- W4294113313 hasConcept C41008148 @default.
- W4294113313 hasConcept C55493867 @default.
- W4294113313 hasConcept C61237538 @default.
- W4294113313 hasConcept C62520636 @default.
- W4294113313 hasConcept C71924100 @default.
- W4294113313 hasConcept C77736955 @default.
- W4294113313 hasConceptScore W4294113313C101837359 @default.
- W4294113313 hasConceptScore W4294113313C104317684 @default.
- W4294113313 hasConceptScore W4294113313C114614502 @default.
- W4294113313 hasConceptScore W4294113313C118615104 @default.
- W4294113313 hasConceptScore W4294113313C121332964 @default.
- W4294113313 hasConceptScore W4294113313C121684516 @default.
- W4294113313 hasConceptScore W4294113313C132525143 @default.
- W4294113313 hasConceptScore W4294113313C134786449 @default.
- W4294113313 hasConceptScore W4294113313C135790938 @default.
- W4294113313 hasConceptScore W4294113313C142156749 @default.
- W4294113313 hasConceptScore W4294113313C154945302 @default.
- W4294113313 hasConceptScore W4294113313C185592680 @default.
- W4294113313 hasConceptScore W4294113313C199343813 @default.
- W4294113313 hasConceptScore W4294113313C204241405 @default.
- W4294113313 hasConceptScore W4294113313C2777212361 @default.
- W4294113313 hasConceptScore W4294113313C2777686260 @default.
- W4294113313 hasConceptScore W4294113313C2778113609 @default.
- W4294113313 hasConceptScore W4294113313C2778755073 @default.
- W4294113313 hasConceptScore W4294113313C33923547 @default.
- W4294113313 hasConceptScore W4294113313C41008148 @default.
- W4294113313 hasConceptScore W4294113313C55493867 @default.
- W4294113313 hasConceptScore W4294113313C61237538 @default.
- W4294113313 hasConceptScore W4294113313C62520636 @default.
- W4294113313 hasConceptScore W4294113313C71924100 @default.
- W4294113313 hasConceptScore W4294113313C77736955 @default.
- W4294113313 hasLocation W42941133131 @default.
- W4294113313 hasOpenAccess W4294113313 @default.
- W4294113313 hasPrimaryLocation W42941133131 @default.
- W4294113313 hasRelatedWork W2101274322 @default.
- W4294113313 hasRelatedWork W2118587068 @default.
- W4294113313 hasRelatedWork W2276378996 @default.
- W4294113313 hasRelatedWork W2373977992 @default.
- W4294113313 hasRelatedWork W2747049526 @default.
- W4294113313 hasRelatedWork W2950168006 @default.
- W4294113313 hasRelatedWork W2964018350 @default.
- W4294113313 hasRelatedWork W4230977852 @default.
- W4294113313 hasRelatedWork W637591191 @default.
- W4294113313 hasRelatedWork W811489916 @default.
- W4294113313 isParatext "false" @default.
- W4294113313 isRetracted "false" @default.
- W4294113313 workType "article" @default.