README.md

Calculus of Constructions

(Up) | See also: Coq

Web resources

Calculus of constructions - Wikipedia

lo.logic - Intuitive explanation of the fact that the Calculus of Constructions is not conservative over Higher-Order Logic - Theoretical Computer Science Stack Exchange ★

Repositories

atennapel/coc-os: "operating system" based on the calculus of constructions ★ 💭

Papers

Introduction to the Calculus of Inductive Constructions ★ 💭

The Calculus of Inductive Constructions ★ 💭