Thierry Coquand (Spanish Wikipedia)

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

refsWebsite

Global rank Spanish rank

1^st place

1,185^th place

1,347^th place

4,903^rd place

low place

4,551^st place

6,637^th place

2^nd place

low place

low place

acm.org

Constructions: A Higher Order Proof System for Mechanizing Mathematics (en inglés). Abril de 1985. pp. 151-184. ISBN 9783540159834. Consultado el 24 de febrero de 2023.
Coquand, Thierry; Huet, Gérard (1985). «A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction». Journal of Symbolic Computation (en inglés) 1 (3): 323-328. doi:10.1016/S0747-7171(85)80040-7. Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.

«Thierry Coquand» (en inglés). Archivado desde el original el 25 de febrero de 2023. Consultado el 25 de febrero de 2023.

«Paradoxes and Definitions» (en inglés). Archivado desde el original el 25 de febrero de 2023. Consultado el 25 de febrero de 2023.

Coquand, Thierry; Huet, Gérard (1985). «A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction». Journal of Symbolic Computation (en inglés) 1 (3): 323-328. doi:10.1016/S0747-7171(85)80040-7. Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.

«Thierry Coquand» (en inglés). Universidad de Gotemburgo. Archivado desde el original el 27 de marzo de 2023. Consultado el 27 de marzo de 2023.

«What is Coq?» (en inglés). Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.
«Coq received ACM SIGPLAN Programming Languages Software 2013 award» (en inglés). Archivado desde el original el 22 de febrero de 2023. Consultado el 22 de febrero de 2023.

«An analysis of Girard's paradox» (en inglés). Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.

«Programming Languages Software Award» (en inglés). Archivado desde el original el 25 de febrero de 2023. Consultado el 25 de febrero de 2023.

«Thierry Coquand» (en inglés). Universidad de Gotemburgo. Archivado desde el original el 27 de marzo de 2023. Consultado el 27 de marzo de 2023.
Coquand, Thierry; Huet, Gérard (1985). «A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction». Journal of Symbolic Computation (en inglés) 1 (3): 323-328. doi:10.1016/S0747-7171(85)80040-7. Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.
«An analysis of Girard's paradox» (en inglés). Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.
«What is Coq?» (en inglés). Archivado desde el original el 24 de febrero de 2023. Consultado el 24 de febrero de 2023.
«Coq received ACM SIGPLAN Programming Languages Software 2013 award» (en inglés). Archivado desde el original el 22 de febrero de 2023. Consultado el 22 de febrero de 2023.
«Programming Languages Software Award» (en inglés). Archivado desde el original el 25 de febrero de 2023. Consultado el 25 de febrero de 2023.
«Thierry Coquand» (en inglés). Archivado desde el original el 25 de febrero de 2023. Consultado el 25 de febrero de 2023.
«Paradoxes and Definitions» (en inglés). Archivado desde el original el 25 de febrero de 2023. Consultado el 25 de febrero de 2023.