Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022792384> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2022792384 endingPage "699" @default.
- W2022792384 startingPage "673" @default.
- W2022792384 abstract "Abstract We build on an existing a term-sequent logic for the λ -calculus. We formulate a general sequent system that fully integrates αβη -reductions between untyped λ -terms into first order logic. We prove a cut-elimination result and then offer an application of cut-elimination by giving a notion of uniform proof for λ -terms. We suggest how this allows us to view the calculus of untyped αβ -reductions as a logic programming language (as well as a functional programming language, as it is traditionally seen)." @default.
- W2022792384 created "2016-06-24" @default.
- W2022792384 creator A5003227005 @default.
- W2022792384 date "2011-06-01" @default.
- W2022792384 modified "2023-09-25" @default.
- W2022792384 title "A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language" @default.
- W2022792384 cites W1541309050 @default.
- W2022792384 cites W1589736618 @default.
- W2022792384 cites W1921642287 @default.
- W2022792384 cites W2008132476 @default.
- W2022792384 cites W2075352622 @default.
- W2022792384 cites W2093111544 @default.
- W2022792384 cites W2122181022 @default.
- W2022792384 cites W2527949491 @default.
- W2022792384 cites W2914809678 @default.
- W2022792384 cites W4230919050 @default.
- W2022792384 doi "https://doi.org/10.2178/jsl/1305810770" @default.
- W2022792384 hasPublicationYear "2011" @default.
- W2022792384 type Work @default.
- W2022792384 sameAs 2022792384 @default.
- W2022792384 citedByCount "4" @default.
- W2022792384 countsByYear W20227923842012 @default.
- W2022792384 countsByYear W20227923842013 @default.
- W2022792384 countsByYear W20227923842014 @default.
- W2022792384 countsByYear W20227923842017 @default.
- W2022792384 crossrefType "journal-article" @default.
- W2022792384 hasAuthorship W2022792384A5003227005 @default.
- W2022792384 hasConcept C108710211 @default.
- W2022792384 hasConcept C111335779 @default.
- W2022792384 hasConcept C111404639 @default.
- W2022792384 hasConcept C11413529 @default.
- W2022792384 hasConcept C128838566 @default.
- W2022792384 hasConcept C195653647 @default.
- W2022792384 hasConcept C199343813 @default.
- W2022792384 hasConcept C199360897 @default.
- W2022792384 hasConcept C2318724 @default.
- W2022792384 hasConcept C2524010 @default.
- W2022792384 hasConcept C2777686260 @default.
- W2022792384 hasConcept C33923547 @default.
- W2022792384 hasConcept C41008148 @default.
- W2022792384 hasConcept C42383842 @default.
- W2022792384 hasConcept C62073222 @default.
- W2022792384 hasConcept C6489637 @default.
- W2022792384 hasConcept C65880906 @default.
- W2022792384 hasConcept C71924100 @default.
- W2022792384 hasConcept C85343465 @default.
- W2022792384 hasConcept C89421646 @default.
- W2022792384 hasConceptScore W2022792384C108710211 @default.
- W2022792384 hasConceptScore W2022792384C111335779 @default.
- W2022792384 hasConceptScore W2022792384C111404639 @default.
- W2022792384 hasConceptScore W2022792384C11413529 @default.
- W2022792384 hasConceptScore W2022792384C128838566 @default.
- W2022792384 hasConceptScore W2022792384C195653647 @default.
- W2022792384 hasConceptScore W2022792384C199343813 @default.
- W2022792384 hasConceptScore W2022792384C199360897 @default.
- W2022792384 hasConceptScore W2022792384C2318724 @default.
- W2022792384 hasConceptScore W2022792384C2524010 @default.
- W2022792384 hasConceptScore W2022792384C2777686260 @default.
- W2022792384 hasConceptScore W2022792384C33923547 @default.
- W2022792384 hasConceptScore W2022792384C41008148 @default.
- W2022792384 hasConceptScore W2022792384C42383842 @default.
- W2022792384 hasConceptScore W2022792384C62073222 @default.
- W2022792384 hasConceptScore W2022792384C6489637 @default.
- W2022792384 hasConceptScore W2022792384C65880906 @default.
- W2022792384 hasConceptScore W2022792384C71924100 @default.
- W2022792384 hasConceptScore W2022792384C85343465 @default.
- W2022792384 hasConceptScore W2022792384C89421646 @default.
- W2022792384 hasIssue "2" @default.
- W2022792384 hasLocation W20227923841 @default.
- W2022792384 hasOpenAccess W2022792384 @default.
- W2022792384 hasPrimaryLocation W20227923841 @default.
- W2022792384 hasRelatedWork W1506616756 @default.
- W2022792384 hasRelatedWork W1562648369 @default.
- W2022792384 hasRelatedWork W1566344352 @default.
- W2022792384 hasRelatedWork W2022792384 @default.
- W2022792384 hasRelatedWork W2134382089 @default.
- W2022792384 hasRelatedWork W2137780954 @default.
- W2022792384 hasRelatedWork W27959772 @default.
- W2022792384 hasRelatedWork W3090765541 @default.
- W2022792384 hasRelatedWork W162254089 @default.
- W2022792384 hasRelatedWork W2584381231 @default.
- W2022792384 hasVolume "76" @default.
- W2022792384 isParatext "false" @default.
- W2022792384 isRetracted "false" @default.
- W2022792384 magId "2022792384" @default.
- W2022792384 workType "article" @default.