Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

calculus of constructions · Vinony

🌐English

English Español Français Русский العربية 中文

EntityQ858320· pop 6· linked from 32 articles

calculus of constructions

formal system

Connections

computer science

International Standard Book Number

Categories

Dependently typed programming Lambda calculus Type theory

Sources

wikipedia.externallinksexternallink

programming language

Entity

digital object identifier

mathematical logic

Backus–Naur form

first-order logic

foundations of mathematics

rule of inference

intuitionistic logic

natural deduction

Curry–Howard correspondence

Institut National de Recherche en Informatique et en Automatique

Sign in to save

What links here32 pages

foundations of mathematics

constructive proof

homotopy type theory

intuitionistic type theory

Generalized algebraic data type

Thierry Coquand

Per Martin-Löf

natural deduction

lambda calculus

Curry–Howard correspondence

proof assistant

typed lambda calculus

Similar entities

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

formal derivative

Entitydist 0.47

Category:Linear operators in calculus

Entitydist 0.54

algebraic structure

Entitydist 0.55

construction of the real numbers

Entitydist 0.56

universal algebra

Entitydist 0.57

structured note

Entitydist 0.57

Boolean algebra

Entitydist 0.58

civil engineering construction

Entitydist 0.58

Entitydist 0.59

tolerance relation

Entitydist 0.60

algebraic operation

Entitydist 0.60

abstract algebra

Entitydist 0.61