Matches in SemOpenAlex for { <https://semopenalex.org/work/W2088372491> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2088372491 endingPage "430" @default.
- W2088372491 startingPage "417" @default.
- W2088372491 abstract "We develop a theory for constructing Combinatory Versions of λ-calculi. Our theory is based on a method, used by Quine and Bernays, for the general elimination of variables in formulations of first-order logic. Our Combinatory Calculus presents a significant departure from those propounded by Schönfinkel and Curry. A non-trivial extension of Quine’s technique is developed, to go beyond the realm of first-order quantification theory, and cover the entire λ-calculus. The system consists of five Combinators, powerful enough to represent λ-abstractions over arbitrary terms. The Combinatory Calculus is shown to have the property of functional completeness. Algorithmic translations from the λ-calculus to the Combinatory Version, and vice-versa, are provided. The approach has the distinct advantage of being able to encode combinatory formulations of process algebras." @default.
- W2088372491 created "2016-06-24" @default.
- W2088372491 creator A5002224645 @default.
- W2088372491 creator A5041268400 @default.
- W2088372491 date "1995-12-01" @default.
- W2088372491 modified "2023-09-23" @default.
- W2088372491 title "THE QUINE-BERNAYS COMBINATORY CALCULUS" @default.
- W2088372491 doi "https://doi.org/10.1142/s0129054195000226" @default.
- W2088372491 hasPublicationYear "1995" @default.
- W2088372491 type Work @default.
- W2088372491 sameAs 2088372491 @default.
- W2088372491 citedByCount "3" @default.
- W2088372491 crossrefType "journal-article" @default.
- W2088372491 hasAuthorship W2088372491A5002224645 @default.
- W2088372491 hasAuthorship W2088372491A5041268400 @default.
- W2088372491 hasConcept C134306372 @default.
- W2088372491 hasConcept C136119220 @default.
- W2088372491 hasConcept C161771561 @default.
- W2088372491 hasConcept C17231256 @default.
- W2088372491 hasConcept C199343813 @default.
- W2088372491 hasConcept C199360897 @default.
- W2088372491 hasConcept C202444582 @default.
- W2088372491 hasConcept C2777686260 @default.
- W2088372491 hasConcept C33923547 @default.
- W2088372491 hasConcept C41008148 @default.
- W2088372491 hasConcept C71924100 @default.
- W2088372491 hasConcept C79678938 @default.
- W2088372491 hasConcept C9270016 @default.
- W2088372491 hasConceptScore W2088372491C134306372 @default.
- W2088372491 hasConceptScore W2088372491C136119220 @default.
- W2088372491 hasConceptScore W2088372491C161771561 @default.
- W2088372491 hasConceptScore W2088372491C17231256 @default.
- W2088372491 hasConceptScore W2088372491C199343813 @default.
- W2088372491 hasConceptScore W2088372491C199360897 @default.
- W2088372491 hasConceptScore W2088372491C202444582 @default.
- W2088372491 hasConceptScore W2088372491C2777686260 @default.
- W2088372491 hasConceptScore W2088372491C33923547 @default.
- W2088372491 hasConceptScore W2088372491C41008148 @default.
- W2088372491 hasConceptScore W2088372491C71924100 @default.
- W2088372491 hasConceptScore W2088372491C79678938 @default.
- W2088372491 hasConceptScore W2088372491C9270016 @default.
- W2088372491 hasIssue "04" @default.
- W2088372491 hasLocation W20883724911 @default.
- W2088372491 hasOpenAccess W2088372491 @default.
- W2088372491 hasPrimaryLocation W20883724911 @default.
- W2088372491 hasRelatedWork W118653430 @default.
- W2088372491 hasRelatedWork W1491591043 @default.
- W2088372491 hasRelatedWork W1532008432 @default.
- W2088372491 hasRelatedWork W1883955460 @default.
- W2088372491 hasRelatedWork W1978856319 @default.
- W2088372491 hasRelatedWork W2013113230 @default.
- W2088372491 hasRelatedWork W2073458376 @default.
- W2088372491 hasRelatedWork W2088372491 @default.
- W2088372491 hasRelatedWork W2957597259 @default.
- W2088372491 hasRelatedWork W4288283295 @default.
- W2088372491 hasVolume "06" @default.
- W2088372491 isParatext "false" @default.
- W2088372491 isRetracted "false" @default.
- W2088372491 magId "2088372491" @default.
- W2088372491 workType "article" @default.