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.

simply typed lambda calculus · Vinony

🌐English

English Español Français Português Русский 中文

EntityQ855192· pop 7· linked from 66 articles

simply typed lambda calculus

Also known as STLC, λ→

formal system in mathematical logic

Available in 7 languages

Español
Français
中文
Русский
Português
Greek

via Wikidata sitelinks · CC0

Connections

lambda calculus

evaluation strategy

Categories

Lambda calculus Theory of computation Type theory

Sources

wikipedia.externallinksexternallink

Church encoding

Entity

International Standard Book Number

digital object identifier

International Standard Serial Number

Princeton University

University of California, Los Angeles

Cartesian product

Sign in to save

What links here66 pages

type constructor

typed lambda calculus

Church encoding

Markov's principle

Turing completeness

Generalized algebraic data type

first-class functions

categorial grammar

functional programming

Church–Rosser theorem

cartesian closed category

parametric polymorphism

Church–Turing thesis

calculus of constructions

intuitionistic logic

Similar entities

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

lambda calculus

Entitydist 0.06

Situation calculus

Entitydist 0.40

linear temporal logic

Entitydist 0.42

Entitydist 0.43

logic programming

Entitydist 0.43

Entitydist 0.44

logical language

Entitydist 0.44

classical logic

Entitydist 0.44

description logic

Entitydist 0.44

semantics of logic

Entitydist 0.45

sequent calculus

Entitydist 0.47

Entitydist 0.47