Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112971523> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2112971523 endingPage "223" @default.
- W2112971523 startingPage "209" @default.
- W2112971523 abstract "Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations of interaction nets are based on graph theory and rely on elementary properties of graph theory. We give here a more explicit presentation based on notions borrowed from Girard’s Geometry of Interaction: interaction nets are presented as partial permutations and a composition of nets, the gluing, is derived from the execution formula. We then define contexts and reduction as the context closure of rules. We prove strong confluence of the reduction within our framework and show how interaction nets can be viewed as the quotient of some generalized proof-nets." @default.
- W2112971523 created "2016-06-24" @default.
- W2112971523 creator A5057735514 @default.
- W2112971523 date "2009-01-01" @default.
- W2112971523 modified "2023-09-23" @default.
- W2112971523 title "An Explicit Framework for Interaction Nets" @default.
- W2112971523 cites W1737026006 @default.
- W2112971523 cites W1923324835 @default.
- W2112971523 cites W2020295593 @default.
- W2112971523 cites W2024189573 @default.
- W2112971523 cites W2025834181 @default.
- W2112971523 cites W2035291585 @default.
- W2112971523 cites W2057271907 @default.
- W2112971523 cites W2101887932 @default.
- W2112971523 cites W2102357532 @default.
- W2112971523 doi "https://doi.org/10.1007/978-3-642-02348-4_15" @default.
- W2112971523 hasPublicationYear "2009" @default.
- W2112971523 type Work @default.
- W2112971523 sameAs 2112971523 @default.
- W2112971523 citedByCount "2" @default.
- W2112971523 countsByYear W21129715232015 @default.
- W2112971523 countsByYear W21129715232019 @default.
- W2112971523 crossrefType "book-chapter" @default.
- W2112971523 hasAuthorship W2112971523A5057735514 @default.
- W2112971523 hasBestOaLocation W21129715232 @default.
- W2112971523 hasConcept C111335779 @default.
- W2112971523 hasConcept C114614502 @default.
- W2112971523 hasConcept C118615104 @default.
- W2112971523 hasConcept C132525143 @default.
- W2112971523 hasConcept C136119220 @default.
- W2112971523 hasConcept C142362112 @default.
- W2112971523 hasConcept C146834321 @default.
- W2112971523 hasConcept C153349607 @default.
- W2112971523 hasConcept C154690210 @default.
- W2112971523 hasConcept C162324750 @default.
- W2112971523 hasConcept C199360897 @default.
- W2112971523 hasConcept C199422724 @default.
- W2112971523 hasConcept C202444582 @default.
- W2112971523 hasConcept C2524010 @default.
- W2112971523 hasConcept C28077239 @default.
- W2112971523 hasConcept C33923547 @default.
- W2112971523 hasConcept C34447519 @default.
- W2112971523 hasConcept C41008148 @default.
- W2112971523 hasConcept C558565934 @default.
- W2112971523 hasConcept C558772884 @default.
- W2112971523 hasConcept C73301696 @default.
- W2112971523 hasConcept C77906462 @default.
- W2112971523 hasConcept C80444323 @default.
- W2112971523 hasConceptScore W2112971523C111335779 @default.
- W2112971523 hasConceptScore W2112971523C114614502 @default.
- W2112971523 hasConceptScore W2112971523C118615104 @default.
- W2112971523 hasConceptScore W2112971523C132525143 @default.
- W2112971523 hasConceptScore W2112971523C136119220 @default.
- W2112971523 hasConceptScore W2112971523C142362112 @default.
- W2112971523 hasConceptScore W2112971523C146834321 @default.
- W2112971523 hasConceptScore W2112971523C153349607 @default.
- W2112971523 hasConceptScore W2112971523C154690210 @default.
- W2112971523 hasConceptScore W2112971523C162324750 @default.
- W2112971523 hasConceptScore W2112971523C199360897 @default.
- W2112971523 hasConceptScore W2112971523C199422724 @default.
- W2112971523 hasConceptScore W2112971523C202444582 @default.
- W2112971523 hasConceptScore W2112971523C2524010 @default.
- W2112971523 hasConceptScore W2112971523C28077239 @default.
- W2112971523 hasConceptScore W2112971523C33923547 @default.
- W2112971523 hasConceptScore W2112971523C34447519 @default.
- W2112971523 hasConceptScore W2112971523C41008148 @default.
- W2112971523 hasConceptScore W2112971523C558565934 @default.
- W2112971523 hasConceptScore W2112971523C558772884 @default.
- W2112971523 hasConceptScore W2112971523C73301696 @default.
- W2112971523 hasConceptScore W2112971523C77906462 @default.
- W2112971523 hasConceptScore W2112971523C80444323 @default.
- W2112971523 hasLocation W21129715231 @default.
- W2112971523 hasLocation W21129715232 @default.
- W2112971523 hasLocation W21129715233 @default.
- W2112971523 hasOpenAccess W2112971523 @default.
- W2112971523 hasPrimaryLocation W21129715231 @default.
- W2112971523 hasRelatedWork W1501947878 @default.
- W2112971523 hasRelatedWork W1533317206 @default.
- W2112971523 hasRelatedWork W1569585985 @default.
- W2112971523 hasRelatedWork W162354865 @default.
- W2112971523 hasRelatedWork W1631235411 @default.
- W2112971523 hasRelatedWork W179213036 @default.
- W2112971523 hasRelatedWork W1986348291 @default.
- W2112971523 hasRelatedWork W2112971523 @default.
- W2112971523 hasRelatedWork W2290580007 @default.
- W2112971523 hasRelatedWork W2953322325 @default.
- W2112971523 isParatext "false" @default.
- W2112971523 isRetracted "false" @default.
- W2112971523 magId "2112971523" @default.
- W2112971523 workType "book-chapter" @default.