Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

combinatory logic · Vinony

EntityQ1481571· pop 23· linked from 85 articles

combinatory logic

Sign in to save

logical formalism using combinators instead of variables

Connections

functional programming

first-order logic

free and bound variables

computer science

International Standard Book Number

digital object identifier

mathematical logic

Princeton University

Oxford University Press

Willard Van Orman Quine

Categories

Combinatory logic Lambda calculus Logic in computer science

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.41

logical language

Entitydist 0.42

logic programming

Entitydist 0.43

combinational logic

Entitydist 0.43

Entitydist 0.43

Situation calculus

Entitydist 0.44

Entitydist 0.46

lambda calculus

Entitydist 0.47

computational logic

Entitydist 0.47

Entitydist 0.47

probabilistic logic

Entitydist 0.48

logical operator

Entitydist 0.48

What links here85 pages

deduction theorem

lambda calculus

combinatory categorial grammar

fixed-point combinator

categorial grammar

Kleene–Rosser paradox

functional programming

Moses Schönfinkel

algebraic logic

mathematical logic

SKI combinator calculus

program counter

function composition

propositional calculus

Church–Turing thesis

lazy evaluation

Eberhard Knobloch

free and bound variables

interpreter pattern