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.

lambda calculus · Vinony

lambda calculus

EntityQ242028· pop 47· linked from 786 articles

lambda calculus

Sign in to save

formal system in mathematical logic

Connections

semantics of logic

semantic theory of truth

mathematical logic

complex analysis

logical disjunction

first-order logic

Stephen Cole Kleene

Turing completeness

combinatory logic

universal Turing machine

typed lambda calculus

J. Barkley Rosser

Church encoding

Categories

1936 in computing Computability theory Formal methods Lambda calculus Models of computation Programming language comparisons Theoretical computer science

Sources

wikipedia.externallinksexternallink

Similar entities

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

simply typed lambda calculus

Entitydist 0.06

linear temporal logic

Entitydist 0.35

Situation calculus

Entitydist 0.35

logic programming

Entitydist 0.39

Entitydist 0.40

classical logic

Entitydist 0.41

logical language

Entitydist 0.42

Entitydist 0.42

sequent calculus

Entitydist 0.43

semantics of logic

Entitydist 0.43

description logic

Entitydist 0.43

Entitydist 0.44

What links here786 pages

Church encoding

fixed-point combinator

simply typed lambda calculus

formal semantics

theory of computation

categorical logic

typed lambda calculus

functional programming

evaluation strategy

Samson Abramsky

Anti-unification

Church–Turing thesis

Greek letter used in mathematics, science, and engineering

function iteration