Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133348159> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2133348159 abstract "Consideration is given to the equational theory lambda pi of lambda calculus extended with constants pi , pi /sub 0/, pi /sub 1/ and axioms for subjective pairing: pi /sub 0/( pi XY)=X, pi /sub 1/( pi XY)=Y, pi ( pi /sub 0/X)( pi /sub 1/X)=X. The reduction system that one obtains by reading the equations are reductions (from left to right) is not Church-Rosser. Despite this failure, the author obtains a syntactic consistency proof of lambda pi and shows that it is a conservative extension of the pure lambda calculus. >" @default.
- W2133348159 created "2016-06-24" @default.
- W2133348159 creator A5069219118 @default.
- W2133348159 date "2003-01-07" @default.
- W2133348159 modified "2023-09-26" @default.
- W2133348159 title "Extending the lambda calculus with surjective pairing is conservative" @default.
- W2133348159 cites W1463471154 @default.
- W2133348159 cites W1514119099 @default.
- W2133348159 cites W2006607295 @default.
- W2133348159 cites W2036609822 @default.
- W2133348159 cites W2049362364 @default.
- W2133348159 cites W2064236106 @default.
- W2133348159 cites W2084776839 @default.
- W2133348159 cites W2167316540 @default.
- W2133348159 cites W2331685757 @default.
- W2133348159 doi "https://doi.org/10.1109/lics.1989.39175" @default.
- W2133348159 hasPublicationYear "2003" @default.
- W2133348159 type Work @default.
- W2133348159 sameAs 2133348159 @default.
- W2133348159 citedByCount "10" @default.
- W2133348159 countsByYear W21333481592013 @default.
- W2133348159 countsByYear W21333481592014 @default.
- W2133348159 countsByYear W21333481592016 @default.
- W2133348159 countsByYear W21333481592020 @default.
- W2133348159 crossrefType "proceedings-article" @default.
- W2133348159 hasAuthorship W2133348159A5069219118 @default.
- W2133348159 hasConcept C114614502 @default.
- W2133348159 hasConcept C118615104 @default.
- W2133348159 hasConcept C119238805 @default.
- W2133348159 hasConcept C121332964 @default.
- W2133348159 hasConcept C136119220 @default.
- W2133348159 hasConcept C14103023 @default.
- W2133348159 hasConcept C167729594 @default.
- W2133348159 hasConcept C199343813 @default.
- W2133348159 hasConcept C202444582 @default.
- W2133348159 hasConcept C2524010 @default.
- W2133348159 hasConcept C2777686260 @default.
- W2133348159 hasConcept C2778113609 @default.
- W2133348159 hasConcept C2780432614 @default.
- W2133348159 hasConcept C33923547 @default.
- W2133348159 hasConcept C53009064 @default.
- W2133348159 hasConcept C54101563 @default.
- W2133348159 hasConcept C62520636 @default.
- W2133348159 hasConcept C71924100 @default.
- W2133348159 hasConceptScore W2133348159C114614502 @default.
- W2133348159 hasConceptScore W2133348159C118615104 @default.
- W2133348159 hasConceptScore W2133348159C119238805 @default.
- W2133348159 hasConceptScore W2133348159C121332964 @default.
- W2133348159 hasConceptScore W2133348159C136119220 @default.
- W2133348159 hasConceptScore W2133348159C14103023 @default.
- W2133348159 hasConceptScore W2133348159C167729594 @default.
- W2133348159 hasConceptScore W2133348159C199343813 @default.
- W2133348159 hasConceptScore W2133348159C202444582 @default.
- W2133348159 hasConceptScore W2133348159C2524010 @default.
- W2133348159 hasConceptScore W2133348159C2777686260 @default.
- W2133348159 hasConceptScore W2133348159C2778113609 @default.
- W2133348159 hasConceptScore W2133348159C2780432614 @default.
- W2133348159 hasConceptScore W2133348159C33923547 @default.
- W2133348159 hasConceptScore W2133348159C53009064 @default.
- W2133348159 hasConceptScore W2133348159C54101563 @default.
- W2133348159 hasConceptScore W2133348159C62520636 @default.
- W2133348159 hasConceptScore W2133348159C71924100 @default.
- W2133348159 hasLocation W21333481591 @default.
- W2133348159 hasOpenAccess W2133348159 @default.
- W2133348159 hasPrimaryLocation W21333481591 @default.
- W2133348159 hasRelatedWork W116039036 @default.
- W2133348159 hasRelatedWork W1487251594 @default.
- W2133348159 hasRelatedWork W1502427414 @default.
- W2133348159 hasRelatedWork W1522022237 @default.
- W2133348159 hasRelatedWork W1582688644 @default.
- W2133348159 hasRelatedWork W1585855583 @default.
- W2133348159 hasRelatedWork W1595139175 @default.
- W2133348159 hasRelatedWork W1762925969 @default.
- W2133348159 hasRelatedWork W1979101142 @default.
- W2133348159 hasRelatedWork W1993890055 @default.
- W2133348159 hasRelatedWork W2006607295 @default.
- W2133348159 hasRelatedWork W2044758536 @default.
- W2133348159 hasRelatedWork W2064236106 @default.
- W2133348159 hasRelatedWork W2121526020 @default.
- W2133348159 hasRelatedWork W2154273644 @default.
- W2133348159 hasRelatedWork W2898169440 @default.
- W2133348159 hasRelatedWork W3092546402 @default.
- W2133348159 hasRelatedWork W3100516864 @default.
- W2133348159 hasRelatedWork W3146610348 @default.
- W2133348159 hasRelatedWork W60269903 @default.
- W2133348159 isParatext "false" @default.
- W2133348159 isRetracted "false" @default.
- W2133348159 magId "2133348159" @default.
- W2133348159 workType "article" @default.