README.md

Calculus of Constructions

(Up) | See also: Coq

Web resources

Calculus of constructions - Wikipedia

Intuitive explanation of the fact that the Calculus of Constructions is not conservative over Higher-Order Logic ★

Repositories

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

wilbowma/cic-redex: A Redex model of CIC as specified in Chapter 4 of the Coq reference manual. ★

Papers

Introduction to the Calculus of Inductive Constructions ★ 💭

The Calculus of Inductive Constructions ★ 💭