Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Ratings by cpressey of Calculus of Constructions works
Introduction to the Calculus of Inductive Constructions
- rating: 1
.
The Calculus of Inductive Constructions
- rating: 1
.
lo.logic - Intuitive explanation of the fact that the Calculus of Constructions is not conservative over Higher-Order Logic - Theoretical Computer Science Stack Exchange
- rating: 1
.
atennapel/coc-os: "operating system" based on the calculus of constructions
- rating: 1
.