Matches in SemOpenAlex for { <https://semopenalex.org/work/W4254218077> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4254218077 endingPage "151" @default.
- W4254218077 startingPage "137" @default.
- W4254218077 abstract "We consider the simply typed λ-calculus with primitive recursion operators and types corresponding to categorical products and coproducts.. The standard equations corresponding to extensionality and to surjectivity of pairing and its dual are oriented as expansion rules. Strong normalization and ground (base-type) confluence is proved for the full calculus; full confluence is proved for the calculus omitting the rule for strong sums. In the latter case, fixed-point constructors may be added while retaining confluence." @default.
- W4254218077 created "2022-05-12" @default.
- W4254218077 creator A5046515488 @default.
- W4254218077 date "1993-01-01" @default.
- W4254218077 modified "2023-10-17" @default.
- W4254218077 title "Some lambda calculi with categorical sums and products" @default.
- W4254218077 cites W1563667006 @default.
- W4254218077 cites W1582688644 @default.
- W4254218077 cites W2006607295 @default.
- W4254218077 cites W2016850380 @default.
- W4254218077 cites W2149837936 @default.
- W4254218077 cites W2166482687 @default.
- W4254218077 cites W2173023892 @default.
- W4254218077 doi "https://doi.org/10.1007/3-540-56868-9_12" @default.
- W4254218077 hasPublicationYear "1993" @default.
- W4254218077 type Work @default.
- W4254218077 citedByCount "19" @default.
- W4254218077 countsByYear W42542180772015 @default.
- W4254218077 crossrefType "book-chapter" @default.
- W4254218077 hasAuthorship W4254218077A5046515488 @default.
- W4254218077 hasConcept C105795698 @default.
- W4254218077 hasConcept C11413529 @default.
- W4254218077 hasConcept C118615104 @default.
- W4254218077 hasConcept C134306372 @default.
- W4254218077 hasConcept C135790938 @default.
- W4254218077 hasConcept C136119220 @default.
- W4254218077 hasConcept C136886441 @default.
- W4254218077 hasConcept C142156749 @default.
- W4254218077 hasConcept C144024400 @default.
- W4254218077 hasConcept C150355047 @default.
- W4254218077 hasConcept C168773036 @default.
- W4254218077 hasConcept C19165224 @default.
- W4254218077 hasConcept C199343813 @default.
- W4254218077 hasConcept C199360897 @default.
- W4254218077 hasConcept C202444582 @default.
- W4254218077 hasConcept C20528804 @default.
- W4254218077 hasConcept C2777686260 @default.
- W4254218077 hasConcept C33923547 @default.
- W4254218077 hasConcept C36259021 @default.
- W4254218077 hasConcept C41008148 @default.
- W4254218077 hasConcept C42058472 @default.
- W4254218077 hasConcept C5274069 @default.
- W4254218077 hasConcept C55128367 @default.
- W4254218077 hasConcept C71924100 @default.
- W4254218077 hasConcept C77906462 @default.
- W4254218077 hasConceptScore W4254218077C105795698 @default.
- W4254218077 hasConceptScore W4254218077C11413529 @default.
- W4254218077 hasConceptScore W4254218077C118615104 @default.
- W4254218077 hasConceptScore W4254218077C134306372 @default.
- W4254218077 hasConceptScore W4254218077C135790938 @default.
- W4254218077 hasConceptScore W4254218077C136119220 @default.
- W4254218077 hasConceptScore W4254218077C136886441 @default.
- W4254218077 hasConceptScore W4254218077C142156749 @default.
- W4254218077 hasConceptScore W4254218077C144024400 @default.
- W4254218077 hasConceptScore W4254218077C150355047 @default.
- W4254218077 hasConceptScore W4254218077C168773036 @default.
- W4254218077 hasConceptScore W4254218077C19165224 @default.
- W4254218077 hasConceptScore W4254218077C199343813 @default.
- W4254218077 hasConceptScore W4254218077C199360897 @default.
- W4254218077 hasConceptScore W4254218077C202444582 @default.
- W4254218077 hasConceptScore W4254218077C20528804 @default.
- W4254218077 hasConceptScore W4254218077C2777686260 @default.
- W4254218077 hasConceptScore W4254218077C33923547 @default.
- W4254218077 hasConceptScore W4254218077C36259021 @default.
- W4254218077 hasConceptScore W4254218077C41008148 @default.
- W4254218077 hasConceptScore W4254218077C42058472 @default.
- W4254218077 hasConceptScore W4254218077C5274069 @default.
- W4254218077 hasConceptScore W4254218077C55128367 @default.
- W4254218077 hasConceptScore W4254218077C71924100 @default.
- W4254218077 hasConceptScore W4254218077C77906462 @default.
- W4254218077 hasLocation W42542180771 @default.
- W4254218077 hasOpenAccess W4254218077 @default.
- W4254218077 hasPrimaryLocation W42542180771 @default.
- W4254218077 hasRelatedWork W114844303 @default.
- W4254218077 hasRelatedWork W1556872910 @default.
- W4254218077 hasRelatedWork W1585482631 @default.
- W4254218077 hasRelatedWork W1593641477 @default.
- W4254218077 hasRelatedWork W2802248566 @default.
- W4254218077 hasRelatedWork W3003639979 @default.
- W4254218077 hasRelatedWork W3146610348 @default.
- W4254218077 hasRelatedWork W3183982503 @default.
- W4254218077 hasRelatedWork W32986836 @default.
- W4254218077 hasRelatedWork W3093261255 @default.
- W4254218077 isParatext "false" @default.
- W4254218077 isRetracted "false" @default.
- W4254218077 workType "book-chapter" @default.