Thierry Coquand (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Thierry Coquand" in English language version.

refsWebsite

Global rank English rank

1^st place

1,185^th place

840^th place

4,903^rd place

3,679^th place

4,551^st place

5,060^th place

2^nd place

low place

low place

7,981^st place

acm.org

Constructions: A Higher Order Proof System for Mechanizing Mathematics. April 1985. pp. 151–184. ISBN 9783540159834. Archived from the original on 24 February 2023. Retrieved 24 February 2023.
Coquand, Thierry; Huet, Gérard (1985). "A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction". Journal of Symbolic Computation. 1 (3): 323–328. doi:10.1016/S0747-7171(85)80040-7. Archived from the original on 24 February 2023. Retrieved 24 February 2023.

"Thierry Coquand". Archived from the original on 25 February 2023. Retrieved 25 February 2023.

"Paradoxes and Definitions" (PDF). Archived (PDF) from the original on 25 February 2023. Retrieved 25 February 2023.

Coquand, Thierry; Huet, Gérard (1985). "A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction". Journal of Symbolic Computation. 1 (3): 323–328. doi:10.1016/S0747-7171(85)80040-7. Archived from the original on 24 February 2023. Retrieved 24 February 2023.

"Thierry Coquand". University of Gothenburg. Archived from the original on 27 March 2023. Retrieved 27 March 2023.

"What is Coq?". Archived from the original on 24 February 2023. Retrieved 24 February 2023.
"Coq received ACM SIGPLAN Programming Languages Software 2013 award". Archived from the original on 22 February 2023. Retrieved 22 February 2023.

"An analysis of Girard's paradox". Archived from the original on 24 February 2023. Retrieved 24 February 2023.

"Programming Languages Software Award". Archived from the original on 25 February 2023. Retrieved 25 February 2023.

"Thierry Coquand". University of Gothenburg. Archived from the original on 27 March 2023. Retrieved 27 March 2023.
Constructions: A Higher Order Proof System for Mechanizing Mathematics. April 1985. pp. 151–184. ISBN 9783540159834. Archived from the original on 24 February 2023. Retrieved 24 February 2023.
Coquand, Thierry; Huet, Gérard (1985). "A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction". Journal of Symbolic Computation. 1 (3): 323–328. doi:10.1016/S0747-7171(85)80040-7. Archived from the original on 24 February 2023. Retrieved 24 February 2023.
"An analysis of Girard's paradox". Archived from the original on 24 February 2023. Retrieved 24 February 2023.
"What is Coq?". Archived from the original on 24 February 2023. Retrieved 24 February 2023.
"Coq received ACM SIGPLAN Programming Languages Software 2013 award". Archived from the original on 22 February 2023. Retrieved 22 February 2023.
"Programming Languages Software Award". Archived from the original on 25 February 2023. Retrieved 25 February 2023.
"Thierry Coquand". Archived from the original on 25 February 2023. Retrieved 25 February 2023.
"Paradoxes and Definitions" (PDF). Archived (PDF) from the original on 25 February 2023. Retrieved 25 February 2023.