Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097411185> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2097411185 abstract "Nominal rewriting extends first-order rewriting with Gabbay-Pitts abstractors: bound entities are named, matching respects α-conversion and can be directly implemented thanks to the use of freshness constraints. In this paper we study two extensions to nominal rewriting. First we introduce a NEW quantifier for modelling name generation and restriction. This allows us to model higher-order functions involving local state, and has also applications in concurrency theory. The second extension introduces new constraints in freshness contexts. This allows us to express strategies of reduction and has applications in programming language design and implementation. Finally, we study confluence properties of nominal rewriting and its extensions." @default.
- W2097411185 created "2016-06-24" @default.
- W2097411185 creator A5022313675 @default.
- W2097411185 creator A5072769917 @default.
- W2097411185 date "2005-07-11" @default.
- W2097411185 modified "2023-10-06" @default.
- W2097411185 title "Nominal rewriting with name generation" @default.
- W2097411185 cites W1975082667 @default.
- W2097411185 cites W1975808446 @default.
- W2097411185 cites W2013672985 @default.
- W2097411185 cites W2017115013 @default.
- W2097411185 cites W2077870744 @default.
- W2097411185 cites W2103406007 @default.
- W2097411185 cites W2180471721 @default.
- W2097411185 cites W2323378191 @default.
- W2097411185 cites W4212868911 @default.
- W2097411185 doi "https://doi.org/10.1145/1069774.1069779" @default.
- W2097411185 hasPublicationYear "2005" @default.
- W2097411185 type Work @default.
- W2097411185 sameAs 2097411185 @default.
- W2097411185 citedByCount "20" @default.
- W2097411185 countsByYear W20974111852012 @default.
- W2097411185 countsByYear W20974111852014 @default.
- W2097411185 countsByYear W20974111852015 @default.
- W2097411185 countsByYear W20974111852017 @default.
- W2097411185 crossrefType "proceedings-article" @default.
- W2097411185 hasAuthorship W2097411185A5022313675 @default.
- W2097411185 hasAuthorship W2097411185A5072769917 @default.
- W2097411185 hasConcept C105795698 @default.
- W2097411185 hasConcept C111335779 @default.
- W2097411185 hasConcept C11413529 @default.
- W2097411185 hasConcept C154690210 @default.
- W2097411185 hasConcept C165064840 @default.
- W2097411185 hasConcept C193702766 @default.
- W2097411185 hasConcept C199360897 @default.
- W2097411185 hasConcept C2524010 @default.
- W2097411185 hasConcept C2778029271 @default.
- W2097411185 hasConcept C33923547 @default.
- W2097411185 hasConcept C41008148 @default.
- W2097411185 hasConcept C42383842 @default.
- W2097411185 hasConcept C48103436 @default.
- W2097411185 hasConcept C77906462 @default.
- W2097411185 hasConcept C80444323 @default.
- W2097411185 hasConceptScore W2097411185C105795698 @default.
- W2097411185 hasConceptScore W2097411185C111335779 @default.
- W2097411185 hasConceptScore W2097411185C11413529 @default.
- W2097411185 hasConceptScore W2097411185C154690210 @default.
- W2097411185 hasConceptScore W2097411185C165064840 @default.
- W2097411185 hasConceptScore W2097411185C193702766 @default.
- W2097411185 hasConceptScore W2097411185C199360897 @default.
- W2097411185 hasConceptScore W2097411185C2524010 @default.
- W2097411185 hasConceptScore W2097411185C2778029271 @default.
- W2097411185 hasConceptScore W2097411185C33923547 @default.
- W2097411185 hasConceptScore W2097411185C41008148 @default.
- W2097411185 hasConceptScore W2097411185C42383842 @default.
- W2097411185 hasConceptScore W2097411185C48103436 @default.
- W2097411185 hasConceptScore W2097411185C77906462 @default.
- W2097411185 hasConceptScore W2097411185C80444323 @default.
- W2097411185 hasLocation W20974111851 @default.
- W2097411185 hasOpenAccess W2097411185 @default.
- W2097411185 hasPrimaryLocation W20974111851 @default.
- W2097411185 hasRelatedWork W1561964073 @default.
- W2097411185 hasRelatedWork W1567063112 @default.
- W2097411185 hasRelatedWork W2023919385 @default.
- W2097411185 hasRelatedWork W2030762481 @default.
- W2097411185 hasRelatedWork W2132918312 @default.
- W2097411185 hasRelatedWork W2257434262 @default.
- W2097411185 hasRelatedWork W2390014333 @default.
- W2097411185 hasRelatedWork W2571112258 @default.
- W2097411185 hasRelatedWork W369794 @default.
- W2097411185 hasRelatedWork W4226436121 @default.
- W2097411185 isParatext "false" @default.
- W2097411185 isRetracted "false" @default.
- W2097411185 magId "2097411185" @default.
- W2097411185 workType "article" @default.