Calculus of Constructions Papers

Introduction to the Calculus of Inductive Constructions

• authors: Christine Paulin-Mohring
• date: 2015
• url: https://inria.hal.science/hal-01094195/document
• topics: Calculus of Constructions, Coq
• format: pdf

.

The Calculus of Inductive Constructions

• authors: Hugo Herbelin
• date: 2011
• url: https://www.cs.uoregon.edu/research/summerschool/summer11/lectures/oplss-herbelin1.pdf
• topics: Calculus of Constructions, Type Theory
• future-topics: Pure Type Systems
• format: talk-slides

.