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 cube · Vinony

EntityQ2036661· pop 6· linked from 20 articles

lambda cube

Sign in to save

a framework

Connections

first-order logic

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

Categories

Lambda calculus Type theory

Sources

wikipedia.externallinksexternallink

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