Matches in SemOpenAlex for { <https://semopenalex.org/work/W2726682263> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2726682263 abstract "We propose a patch to the pure pattern calculus: we claim that this is strictly more powerful to define the application of the match fail as the pure lambda-term defining the boolean false instead of the identity function as it is done in the original version of the pure pattern calculus~cite{JayK09}. We show that using non algebraic patterns we are able to encode in a natural way any rewriting strategies as well as the branching construct | used in functional programming languages. We close the open question (raised in~cite{Cirstea00,CirsteaK01}) whether rewriting strategies can be directly encoded in lambda-calculi with patterns." @default.
- W2726682263 created "2017-07-14" @default.
- W2726682263 creator A5075330920 @default.
- W2726682263 date "2009-01-01" @default.
- W2726682263 modified "2023-09-27" @default.
- W2726682263 title "Encoding rewriting strategies in lambda-calculi with patterns" @default.
- W2726682263 hasPublicationYear "2009" @default.
- W2726682263 type Work @default.
- W2726682263 sameAs 2726682263 @default.
- W2726682263 citedByCount "0" @default.
- W2726682263 crossrefType "journal-article" @default.
- W2726682263 hasAuthorship W2726682263A5075330920 @default.
- W2726682263 hasConcept C118615104 @default.
- W2726682263 hasConcept C120665830 @default.
- W2726682263 hasConcept C121332964 @default.
- W2726682263 hasConcept C135790938 @default.
- W2726682263 hasConcept C142156749 @default.
- W2726682263 hasConcept C154690210 @default.
- W2726682263 hasConcept C199343813 @default.
- W2726682263 hasConcept C199360897 @default.
- W2726682263 hasConcept C2777686260 @default.
- W2726682263 hasConcept C2778113609 @default.
- W2726682263 hasConcept C2780801425 @default.
- W2726682263 hasConcept C33923547 @default.
- W2726682263 hasConcept C41008148 @default.
- W2726682263 hasConcept C61237538 @default.
- W2726682263 hasConcept C61797465 @default.
- W2726682263 hasConcept C62520636 @default.
- W2726682263 hasConcept C71924100 @default.
- W2726682263 hasConcept C77736955 @default.
- W2726682263 hasConcept C77906462 @default.
- W2726682263 hasConceptScore W2726682263C118615104 @default.
- W2726682263 hasConceptScore W2726682263C120665830 @default.
- W2726682263 hasConceptScore W2726682263C121332964 @default.
- W2726682263 hasConceptScore W2726682263C135790938 @default.
- W2726682263 hasConceptScore W2726682263C142156749 @default.
- W2726682263 hasConceptScore W2726682263C154690210 @default.
- W2726682263 hasConceptScore W2726682263C199343813 @default.
- W2726682263 hasConceptScore W2726682263C199360897 @default.
- W2726682263 hasConceptScore W2726682263C2777686260 @default.
- W2726682263 hasConceptScore W2726682263C2778113609 @default.
- W2726682263 hasConceptScore W2726682263C2780801425 @default.
- W2726682263 hasConceptScore W2726682263C33923547 @default.
- W2726682263 hasConceptScore W2726682263C41008148 @default.
- W2726682263 hasConceptScore W2726682263C61237538 @default.
- W2726682263 hasConceptScore W2726682263C61797465 @default.
- W2726682263 hasConceptScore W2726682263C62520636 @default.
- W2726682263 hasConceptScore W2726682263C71924100 @default.
- W2726682263 hasConceptScore W2726682263C77736955 @default.
- W2726682263 hasConceptScore W2726682263C77906462 @default.
- W2726682263 hasLocation W27266822631 @default.
- W2726682263 hasOpenAccess W2726682263 @default.
- W2726682263 hasPrimaryLocation W27266822631 @default.
- W2726682263 hasRelatedWork W1480790918 @default.
- W2726682263 hasRelatedWork W1493752083 @default.
- W2726682263 hasRelatedWork W1527527487 @default.
- W2726682263 hasRelatedWork W1556919003 @default.
- W2726682263 hasRelatedWork W1578080614 @default.
- W2726682263 hasRelatedWork W1726137516 @default.
- W2726682263 hasRelatedWork W1908505045 @default.
- W2726682263 hasRelatedWork W2087320563 @default.
- W2726682263 hasRelatedWork W2089599948 @default.
- W2726682263 hasRelatedWork W2095047539 @default.
- W2726682263 hasRelatedWork W2117235897 @default.
- W2726682263 hasRelatedWork W2143940368 @default.
- W2726682263 hasRelatedWork W2298806063 @default.
- W2726682263 hasRelatedWork W2388108828 @default.
- W2726682263 hasRelatedWork W2596395492 @default.
- W2726682263 hasRelatedWork W2612257211 @default.
- W2726682263 hasRelatedWork W2951265876 @default.
- W2726682263 hasRelatedWork W2953801668 @default.
- W2726682263 hasRelatedWork W2962866504 @default.
- W2726682263 hasRelatedWork W3042468750 @default.
- W2726682263 isParatext "false" @default.
- W2726682263 isRetracted "false" @default.
- W2726682263 magId "2726682263" @default.
- W2726682263 workType "article" @default.