Calculus of Constructions

Calculus of constructions - Wikipedia

• url: https://en.wikipedia.org/wiki/Calculus_of_constructions

.

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

• url: https://cstheory.stackexchange.com/questions/53656/intuitive-explanation-of-the-fact-that-the-calculus-of-constructions-is-not-cons

.