Matches in SemOpenAlex for { <https://semopenalex.org/work/W2806297553> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2806297553 abstract "Since it was realized that the Curry-Howard isomorphism can be extended to the case of classical logic as well, several calculi have appeared as candidates for the encodings of proofs in classical logic. One of the most extensively studied among them is the $lambdamu$-calculus of Parigot. In this paper, based on the result of Xi presented for the $lambda$-calculus Xi, we give an upper bound for the lengths of the reduction sequences in the $lambdamu$-calculus extended with the $rho$- and $theta$-rules. Surprisingly, our results show that the new terms and the new rules do not add to the computational complexity of the calculus despite the fact that $mu$-abstraction is able to consume an unbounded number of arguments by virtue of the $mu$-rule." @default.
- W2806297553 created "2018-06-13" @default.
- W2806297553 creator A5018831581 @default.
- W2806297553 creator A5025280346 @default.
- W2806297553 date "2017-03-17" @default.
- W2806297553 modified "2023-09-27" @default.
- W2806297553 title "An estimation for the lengths of reduction sequences of the $lambdamurhotheta$-calculus" @default.
- W2806297553 cites W1486617783 @default.
- W2806297553 cites W1494376884 @default.
- W2806297553 cites W1532954000 @default.
- W2806297553 cites W1584250132 @default.
- W2806297553 cites W2008920425 @default.
- W2806297553 cites W2011359032 @default.
- W2806297553 cites W2016326123 @default.
- W2806297553 cites W2132936218 @default.
- W2806297553 cites W2135287414 @default.
- W2806297553 cites W2137657593 @default.
- W2806297553 cites W2148062074 @default.
- W2806297553 cites W2149837936 @default.
- W2806297553 cites W2177357765 @default.
- W2806297553 cites W2248931122 @default.
- W2806297553 cites W73907625 @default.
- W2806297553 hasPublicationYear "2017" @default.
- W2806297553 type Work @default.
- W2806297553 sameAs 2806297553 @default.
- W2806297553 citedByCount "0" @default.
- W2806297553 crossrefType "posted-content" @default.
- W2806297553 hasAuthorship W2806297553A5018831581 @default.
- W2806297553 hasAuthorship W2806297553A5025280346 @default.
- W2806297553 hasConcept C108710211 @default.
- W2806297553 hasConcept C111335779 @default.
- W2806297553 hasConcept C114614502 @default.
- W2806297553 hasConcept C115624301 @default.
- W2806297553 hasConcept C118615104 @default.
- W2806297553 hasConcept C120665830 @default.
- W2806297553 hasConcept C121332964 @default.
- W2806297553 hasConcept C135790938 @default.
- W2806297553 hasConcept C136119220 @default.
- W2806297553 hasConcept C185592680 @default.
- W2806297553 hasConcept C199343813 @default.
- W2806297553 hasConcept C202444582 @default.
- W2806297553 hasConcept C203436722 @default.
- W2806297553 hasConcept C2524010 @default.
- W2806297553 hasConcept C2777686260 @default.
- W2806297553 hasConcept C2778113609 @default.
- W2806297553 hasConcept C33923547 @default.
- W2806297553 hasConcept C62073222 @default.
- W2806297553 hasConcept C71924100 @default.
- W2806297553 hasConcept C8010536 @default.
- W2806297553 hasConceptScore W2806297553C108710211 @default.
- W2806297553 hasConceptScore W2806297553C111335779 @default.
- W2806297553 hasConceptScore W2806297553C114614502 @default.
- W2806297553 hasConceptScore W2806297553C115624301 @default.
- W2806297553 hasConceptScore W2806297553C118615104 @default.
- W2806297553 hasConceptScore W2806297553C120665830 @default.
- W2806297553 hasConceptScore W2806297553C121332964 @default.
- W2806297553 hasConceptScore W2806297553C135790938 @default.
- W2806297553 hasConceptScore W2806297553C136119220 @default.
- W2806297553 hasConceptScore W2806297553C185592680 @default.
- W2806297553 hasConceptScore W2806297553C199343813 @default.
- W2806297553 hasConceptScore W2806297553C202444582 @default.
- W2806297553 hasConceptScore W2806297553C203436722 @default.
- W2806297553 hasConceptScore W2806297553C2524010 @default.
- W2806297553 hasConceptScore W2806297553C2777686260 @default.
- W2806297553 hasConceptScore W2806297553C2778113609 @default.
- W2806297553 hasConceptScore W2806297553C33923547 @default.
- W2806297553 hasConceptScore W2806297553C62073222 @default.
- W2806297553 hasConceptScore W2806297553C71924100 @default.
- W2806297553 hasConceptScore W2806297553C8010536 @default.
- W2806297553 hasLocation W28062975531 @default.
- W2806297553 hasOpenAccess W2806297553 @default.
- W2806297553 hasPrimaryLocation W28062975531 @default.
- W2806297553 hasRelatedWork W1487251594 @default.
- W2806297553 hasRelatedWork W1595139175 @default.
- W2806297553 hasRelatedWork W1966921924 @default.
- W2806297553 hasRelatedWork W1976486550 @default.
- W2806297553 hasRelatedWork W2068940650 @default.
- W2806297553 hasRelatedWork W207542725 @default.
- W2806297553 hasRelatedWork W2092082919 @default.
- W2806297553 hasRelatedWork W2121526020 @default.
- W2806297553 hasRelatedWork W2151097168 @default.
- W2806297553 hasRelatedWork W2153353244 @default.
- W2806297553 hasRelatedWork W2211787652 @default.
- W2806297553 hasRelatedWork W29162224 @default.
- W2806297553 hasRelatedWork W2949538302 @default.
- W2806297553 hasRelatedWork W2950168006 @default.
- W2806297553 hasRelatedWork W2964049798 @default.
- W2806297553 hasRelatedWork W3016802302 @default.
- W2806297553 hasRelatedWork W3027333920 @default.
- W2806297553 hasRelatedWork W3100516864 @default.
- W2806297553 hasRelatedWork W3125424007 @default.
- W2806297553 hasRelatedWork W3098488924 @default.
- W2806297553 isParatext "false" @default.
- W2806297553 isRetracted "false" @default.
- W2806297553 magId "2806297553" @default.
- W2806297553 workType "article" @default.