Calculus of constructions (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Calculus of constructions" in English language version.

refsWebsite

Global rank English rank

4,903^rd place

3,679^th place

702^nd place

520^th place

inria.fr

coq.inria.fr

Calculus of Inductive Constructions, and basic standard libraries : Datatypes and Logic.
"Standard Library | The Coq Proof Assistant". coq.inria.fr. Retrieved 2020-08-08.

upenn.edu

repository.upenn.edu

Coquand, Thierry; Gallier, Jean H. (July 1990). "A Proof of Strong Normalization for the Theory of Constructions Using a Kripke-Like Interpretation". Technical Reports (Cis): 14.