Thierry Coquand

Mentioned on the following portal pages

Bibliography

Coquand, Thierry. 1994. “A New Paradox in Type Theory.” in Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Swede, August 7-14, 1991, edited by Dag Prawitz, Brian Skyrms, and Dag Westerståhl, pp. 555–570. Studies in Logic and the Foundations of Mathematics n. 134. Amsterdam: Elsevier Science Publishers B.V.
Coquand, Thierry. 2006. “Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2006/entries/type-theory/.
Coquand, Thierry. 2010. “Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2010/entries/type-theory/.
Coquand, Thierry. 2014a. “Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2014/entries/type-theory/.
Coquand, Thierry. 2014b. “Recursive Functions and Constructive Mathematics.” in Constructivity and Computability in Historical and Philosophical Perspective, edited by Jacques-Paul Dubucs and Michel Bourdeau, pp. 159–168. Logic, Epistemology, and the Unity of Science n. 34. Cham: Springer.
Coquand, Thierry. 2018. “Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2018/entries/type-theory/.
Coquand, Thierry. 2022. “Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2022/entries/type-theory/.
Coquand, Thierry and Jaber, Guilhem. 2012. “A Computational Interpretation of Forcing in Type Theory.” in Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, edited by Peter Dybjer, Sten Lindström, Erik Palmgren, and Göran Sundholm, pp. 203–214. Logic, Epistemology, and the Unity of Science n. 27. Dordrecht: Springer.