Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

combinatory logic · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Polski Português Русский 中文日本語

EntityQ1481571· pop 23· linked from 85 articles

combinatory logic

logical formalism using combinators instead of variables

Available in 22 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Armenian
Azerbaijani

Connections

functional programming

Categories

Combinatory logic Lambda calculus Logic in computer science

Sources

wikipedia.externallinksexternallink

Scottish Gaelic

Show 3 more

Serbian (Latin)
Ukrainian
zh_yue

via Wikidata sitelinks · CC0

first-order logic

Entity

free and bound variables

computer science

International Standard Book Number

digital object identifier

mathematical logic

Princeton University

Oxford University Press

Willard Van Orman Quine

Sign in to save

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

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