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.

simply typed lambda calculus · Vinony

EntityQ855192· pop 7· linked from 66 articles

simply typed lambda calculus

Sign in to save

formal system in mathematical logic

Connections

lambda calculus

evaluation strategy

Church encoding

International Standard Book Number

digital object identifier

International Standard Serial Number

Princeton University

University of California, Los Angeles

Cartesian product

Categories

Lambda calculus Theory of computation Type theory

Sources

wikipedia.externallinksexternallink

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