Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Binary combinatory logic (view)

searching for Combinatory logic 25 found (103 total)

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.

Frederic Fitch (445 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),

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

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

Parametric polymorphism (2,105 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

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

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,456 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,825 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).