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.

typed lambda calculus · Vinony

🌐English

English Polski Русский 中文日本語

EntityQ2607208· pop 9· linked from 42 articles

typed lambda calculus

typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction

Available in 9 languages

中文
日本語
Русский
Croatian
Greek
Icelandic
Polski
Ukrainian

via Wikidata sitelinks · CC0

Connections

lambda calculus

computable function

Categories

Lambda calculus Logic in computer science Theory of computation Type theory

Sources

wikipedia.externallinksexternallink

System F

Entity

computer science

International Standard Book Number

programming language

computer programming

digital object identifier

International Standard Serial Number

mathematical logic

functional programming

category theory

Cambridge University Press

imperative programming

halting problem

Sign in to save

What links here42 pages

lambda calculus

simply typed lambda calculus

intuitionistic type theory

functional programming

cut-elimination

history of logic

parametric polymorphism

formal semantics

calculus of constructions

type constructor

higher-order logic

fixed-point combinator

higher-order function

Curry–Howard correspondence

Similar entities

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

Entitydist 0.56

Entitydist 0.57

Entitydist 0.60

Entitydist 0.60

Entitydist 0.63

Entitydist 0.64

Entitydist 0.65

Entitydist 0.66

primitive data type

Entitydist 0.68

Entitydist 0.69

dining cryptographers problem

Entitydist 0.69

Entitydist 0.70