Matches in SemOpenAlex for { <https://semopenalex.org/work/W2287743366> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2287743366 abstract "We introduce the permutative lambda-calculus, an extension of lambda-calculus with three equations and one reduction rule for permuting constructors, generalising many calculi in the literature, in particular Regnier's sigma-equivalence and Moggi's assoc-equivalence. We prove confluence modulo the equations and preservation of beta-strong normalisation (PSN) by means of an auxiliary substitution calculus. The proof of confluence relies on M-developments, a new notion of development for lambda-terms." @default.
- W2287743366 created "2016-06-24" @default.
- W2287743366 creator A5046873607 @default.
- W2287743366 creator A5077330939 @default.
- W2287743366 date "2012-03-11" @default.
- W2287743366 modified "2023-10-15" @default.
- W2287743366 title "The permutative lambda calculus" @default.
- W2287743366 cites W120450198 @default.
- W2287743366 cites W1506619010 @default.
- W2287743366 cites W1540171139 @default.
- W2287743366 cites W1572175282 @default.
- W2287743366 cites W1763375386 @default.
- W2287743366 cites W1867484958 @default.
- W2287743366 cites W1987185889 @default.
- W2287743366 cites W2008868842 @default.
- W2287743366 cites W2014182958 @default.
- W2287743366 cites W2017274604 @default.
- W2287743366 cites W2029029577 @default.
- W2287743366 cites W2064236106 @default.
- W2287743366 cites W2091852848 @default.
- W2287743366 cites W2156876717 @default.
- W2287743366 cites W2911865844 @default.
- W2287743366 cites W2912339902 @default.
- W2287743366 cites W598205067 @default.
- W2287743366 hasPublicationYear "2012" @default.
- W2287743366 type Work @default.
- W2287743366 sameAs 2287743366 @default.
- W2287743366 citedByCount "4" @default.
- W2287743366 countsByYear W22877433662013 @default.
- W2287743366 countsByYear W22877433662014 @default.
- W2287743366 countsByYear W22877433662019 @default.
- W2287743366 crossrefType "proceedings-article" @default.
- W2287743366 hasAuthorship W2287743366A5046873607 @default.
- W2287743366 hasAuthorship W2287743366A5077330939 @default.
- W2287743366 hasBestOaLocation W22877433661 @default.
- W2287743366 hasConcept C120665830 @default.
- W2287743366 hasConcept C121332964 @default.
- W2287743366 hasConcept C2777686260 @default.
- W2287743366 hasConcept C2778113609 @default.
- W2287743366 hasConcept C28826006 @default.
- W2287743366 hasConcept C29694066 @default.
- W2287743366 hasConcept C33923547 @default.
- W2287743366 hasConcept C41008148 @default.
- W2287743366 hasConcept C71924100 @default.
- W2287743366 hasConceptScore W2287743366C120665830 @default.
- W2287743366 hasConceptScore W2287743366C121332964 @default.
- W2287743366 hasConceptScore W2287743366C2777686260 @default.
- W2287743366 hasConceptScore W2287743366C2778113609 @default.
- W2287743366 hasConceptScore W2287743366C28826006 @default.
- W2287743366 hasConceptScore W2287743366C29694066 @default.
- W2287743366 hasConceptScore W2287743366C33923547 @default.
- W2287743366 hasConceptScore W2287743366C41008148 @default.
- W2287743366 hasConceptScore W2287743366C71924100 @default.
- W2287743366 hasLocation W22877433661 @default.
- W2287743366 hasLocation W22877433662 @default.
- W2287743366 hasLocation W22877433663 @default.
- W2287743366 hasLocation W22877433664 @default.
- W2287743366 hasOpenAccess W2287743366 @default.
- W2287743366 hasPrimaryLocation W22877433661 @default.
- W2287743366 hasRelatedWork W1587224694 @default.
- W2287743366 hasRelatedWork W1979597421 @default.
- W2287743366 hasRelatedWork W2007980826 @default.
- W2287743366 hasRelatedWork W2061531152 @default.
- W2287743366 hasRelatedWork W2077600819 @default.
- W2287743366 hasRelatedWork W2748952813 @default.
- W2287743366 hasRelatedWork W2899084033 @default.
- W2287743366 hasRelatedWork W3002753104 @default.
- W2287743366 hasRelatedWork W4225152035 @default.
- W2287743366 hasRelatedWork W4245490552 @default.
- W2287743366 isParatext "false" @default.
- W2287743366 isRetracted "false" @default.
- W2287743366 magId "2287743366" @default.
- W2287743366 workType "article" @default.