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.

lambda cube · Vinony

🌐English

English Français Nederlands Русский 中文日本語

EntityQ2036661· pop 6· linked from 20 articles

lambda cube

a framework

Wikidata facts

Image: Lambda Cube img.svg

Sources (1)

wikidata.org

via Wikidata · CC0

Available in 6 languages

Français
中文
日本語
Русский
Ukrainian

via Wikidata sitelinks · CC0

Connections

first-order logic

Categories

Lambda calculus Type theory

Sources

wikipedia.externallinksexternallink

System F

Entity

impredicativity

simply typed lambda calculus

type constructor

International Standard Book Number

digital object identifier

International Standard Serial Number

mathematical logic

propositional calculus

lambda calculus

universal quantification

Sign in to save

What links here20 pages

lambda calculus

typed lambda calculus

parametric polymorphism

calculus of constructions

type constructor

natural deduction

square of opposition

Similar entities

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

Entitydist 0.54

Active Template Library

Entitydist 0.56

computational geometry

Entitydist 0.59

Standard Template Library

Entitydist 0.59

Virtual Reality Modeling Language

Entitydist 0.61

Entitydist 0.61

Adobe Atmosphere

Entitydist 0.62

Entitydist 0.62

Entitydist 0.62

Module:TemplUtl

Entitydist 0.63

Entitydist 0.64

Entitydist 0.65