Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

Longer titles found: Binary combinatory logic (view)

searching for Combinatory logic 25 found (103 total)

alternate case: combinatory logic

Robert Feys (232 words) [view diff] case mismatch in snippet view article find links to article

simply typed lambda calculus (Combinatory Logic). Haskell B. Curry, Robert Feys, and William Craig. Combinatory Logic. Amsterdam, North-Holland Pub.
David Turner (computer scientist) (845 words) [view diff] case mismatch in snippet view article
Programming Languages: The Compilation of an Applicative Language to Combinatory Logic", supervised by Christopher Strachey and Dana Scott. He held professorships
Frederic Fitch (436 words) [view diff] exact match in snippet view article find links to article
in context of the knowability paradox. Fitch worked primarily in combinatory logic, authoring an undergraduate-level textbook on the subject (1974),
Katalin Bimbó (264 words) [view diff] case mismatch in snippet view article find links to article
Nonclassical Logical Calculi (with J. M. Dunn, CSLI Publications, 2008) Combinatory Logic: Pure, Applied and Typed (CRC Press, 2012) Proof Theory: Sequent Calculi
1997 in philosophy (196 words) [view diff] exact match in snippet view article find links to article
programmering languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion." Hans Blumenberg, Die
J. Roger Hindley (165 words) [view diff] exact match in snippet view article find links to article
Hindley, J. Roger (1969), "The principal type-scheme of an object in combinatory logic", Transactions of the American Mathematical Society, 146: 29–60, doi:10
Interpreter pattern (873 words) [view diff] exact match in snippet view article find links to article
<< result << '\n'; } The program output is: 0 1 Backus–Naur form Combinatory logic in computing Design Patterns Domain-specific language Interpreter
De Bruijn notation (793 words) [view diff] case mismatch in snippet view article find links to article
In Hindley J. R. and Seldin J. P. (ed.). To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press. pp. 29–61. ISBN 978-0-12-349050-6
Programming language theory (1,613 words) [view diff] case mismatch in snippet view article find links to article
Roger Hindley publishes The Principal Type-Scheme of an Object in Combinatory Logic, later generalized into the Hindley–Milner type inference algorithm
Dana Scott (1,335 words) [view diff] exact match in snippet view article find links to article
to programming languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion; and The 2001 Bolzano Prize
Currying (5,025 words) [view diff] case mismatch in snippet view article find links to article
H. Jerome; Kunen, Kenneth (eds.). "Some Philosophical Aspects of Combinatory Logic". The Kleene Symposium: Proceedings of the Symposium Held June 18-24
Parametric polymorphism (2,058 words) [view diff] exact match in snippet view article find links to article
Hindley, J. Roger (1969), "The principal type scheme of an object in combinatory logic", Transactions of the American Mathematical Society, 146: 29–60, doi:10
Karoubi envelope (836 words) [view diff] case mismatch in snippet view article find links to article
"Relating theories of the lambda calculus". To HB Curry: Essays in Combinatory Logic. Balmer, Paul; Schlichting, Marco (2001), "Idempotent completion of
Church encoding (8,544 words) [view diff] case mismatch in snippet view article find links to article
ISBN 978-0-262-16209-8. Tromp, John (2007). "14. Binary Lambda Calculus and Combinatory Logic". In Calude, Cristian S (ed.). Randomness And Complexity, From Leibniz
Reduction strategy (2,608 words) [view diff] case mismatch in snippet view article find links to article
ISBN 978-3-540-20861-7. Curry, Haskell B.; Feys, Robert (1958). Combinatory Logic. Vol. I. Amsterdam: North Holland. pp. 139–142. ISBN 0-7204-2208-6
Giuseppe Longo (2,482 words) [view diff] case mismatch in snippet view article find links to article
fundamental functional programming languages including Lambda Calculus and Combinatory Logic. He integrated his research findings into a broader framework that
Lojban (4,298 words) [view diff] exact match in snippet view article find links to article
into predicate logic. There are also analogies between Lojban and combinatory logic. Lojban: is designed to express complex logical constructs precisely
Expression (mathematics) (5,457 words) [view diff] case mismatch in snippet view article
history, see Cardone and Hindley's "History of Lambda-calculus and Combinatory Logic" (2006). Oxford English Dictionary, s.v. “Expression (n.), sense II
Kolmogorov complexity (7,565 words) [view diff] case mismatch in snippet view article find links to article
"Review of Li Vitányi 1997". Tromp, John. "John's Lambda Calculus and Combinatory Logic Playground". Tromp's lambda calculus computer model offers a concrete
Microcode (8,757 words) [view diff] exact match in snippet view article find links to article
encoded, that is, the bit fields generally pass through intermediate combinatory logic that, in turn, generates the control and sequencing signals for internal
Sterling Professor (5,765 words) [view diff] exact match in snippet view article find links to article
1929 Frederic Brenton Fitch Philosophy 1974 Logician; symbolic and combinatory logic; Fitch-style calculus John Farquhar Fulton Physiology and History
Intersection type discipline (2,305 words) [view diff] exact match in snippet view article find links to article
assignment for the strongly normalizable λ-terms. To HB Curry: essays on combinatory logic, lambda calculus and formalism, 561-577. Coppo, Mario; Dezani-Ciancaglini
Lorenzo Peña (4,716 words) [view diff] exact match in snippet view article find links to article
to investigate the grounds of his logical system as a nonclassical combinatory logic has thus far remained programmatic, but the combinatory account fits
List of Jewish mathematicians (15,830 words) [view diff] exact match in snippet view article find links to article
Schoenflies (1853–1928), mathematician Moses Schönfinkel (1889–1942), combinatory logic Oded Schramm (1961–2008), conformal field theory and probability theory;
Hilbert system (3,534 words) [view diff] case mismatch in snippet view article find links to article
1007/BFb0022253. ISBN 978-3-540-49404-1. Curry, Haskell B.; Robert Feys (1958). Combinatory Logic Vol. I. Vol. 1. Amsterdam: North Holland. Monk, J. Donald (1976).