T. Coquand

发表

Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1989, Inf. Comput..
Thierry Coquand, T. Coquand, 1993, Theor. Comput. Sci..
T. Coquand, Daniel Fridlender, 1993 .
Marie-Françoise Roy, T. Coquand, H. Lombardi, 2006 .
T. Coquand, Claire Tête, 2018 .
T. Coquand, H. Lombardi, C. Quitté, 2004 .
Marie-Françoise Roy, T. Coquand, H. Lombardi, 2005 .
T. Coquand, J. Cederquist, Sara Negri, 1998 .
S. Buss, P. Hájek, P. Pudlák, 2000 .
T. Coquand, Henrik Persson, 2001 .
T. Coquand, 2006, Mathematical Proceedings of the Cambridge Philosophical Society.
T. Coquand, H. Lombardi, Stefan Neuwirth, 2017, Rocky Mountain Journal of Mathematics.
T. Coquand, Bas Spitters, 2009, Mathematical Proceedings of the Cambridge Philosophical Society.
T. Coquand, Bas Spitters, 2008, Mathematical Proceedings of the Cambridge Philosophical Society.
Thierry Coquand, T. Coquand, 1992 .
T. Coquand, M. Bezem, Ulrik Buchholtz, 2017, Indagationes Mathematicae.
Thierry Coquand, Henri Lombardi, T. Coquand, 2008, Math. Log. Q..
Thierry Coquand, Vincent Siles, T. Coquand, 2011, CPP.
Thierry Coquand, Nils Anders Danielsson, T. Coquand, 2013 .
Thierry Coquand, T. Coquand, 2018, SIGL.
Thierry Coquand, Marc Bezem, T. Coquand, 2019, Fundam. Informaticae.
Thierry Coquand, Bas Spitters, T. Coquand, 2012, J. Log. Anal..
Andrej Bauer, Thierry Coquand, Giovanni Sambin, 2012, Ann. Pure Appl. Log..
Thierry Coquand, Bas Spitters, T. Coquand, 2010, J. Log. Anal..
Thierry Coquand, T. Coquand, 1997, Journal of Symbolic Logic.
Thierry Coquand, T. Coquand, 2007 .
T. Coquand, Christian Sattler, Simon Huber, 2019, Log. Methods Comput. Sci..
Thierry Coquand, T. Coquand, 2004 .
Thierry Coquand, T. Coquand, 2003 .
T. Coquand, Stefan Neuwirth, S. Neuwirth, 2020, History and Philosophy of Logic.
T. Coquand, Bas Spitters, 2007 .
T. Coquand, M. Bezem, P. Dybjer, 2022 .
Thierry Coquand, Gilles Barthe, G. Barthe, 2001 .
T. Coquand, H. Lombardi, Stefan Neuwirth, 2019, Paul Lorenzen -- Mathematician and Logician.
T. Coquand, 2000 .
T. Coquand, 2000 .
Thierry Coquand, Jan M. Smith, Bengt Nordström, 1994, Bull. EATCS.
Thierry Coquand, Christine Paulin, T. Coquand, 1988, Conference on Computer Logic.
T. Coquand, L. Birkedal, C. Angiuli, 2022, ArXiv.
Thierry Coquand, Robert Harper, Daniel R. Licata, 2021, Mathematical Structures in Computer Science.
Thierry Coquand, Ana Bove, T. Coquand, 2004, TYPES.
Thierry Coquand, T. Coquand, 1992, Constructivity in Computer Science.
Thierry Coquand, T. Coquand, 1991, Category Theory and Computer Science.
Thierry Coquand, T. Coquand, 2006 .
Thierry Coquand, Dimitrios Vytiniotis, David Wahlstedt, 2012, ITP.
Thierry Coquand, Gérard P. Huet, G. Huet, 1988, Inf. Comput..
T. Coquand, Claude Quitté, 2011, Manuscripta Mathematica.
Thierry Coquand, T. Coquand, 2009, Ann. Pure Appl. Log..
Thierry Coquand, Val Tannen, Carl A. Gunter, 1991, Inf. Comput..
Thierry Coquand, Carl A. Gunter, Andre Scedrov, 1991 .
Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, LICS 1989.
T. Coquand, 2018, Indagationes Mathematicae.
Thierry Coquand, Simon Huber, Marc Bezem, 2013, TYPES.
Thierry Coquand, T. Coquand, 1994, TYPES.
Thierry Coquand, T. Coquand, 1994, Inf. Comput..
Thierry Coquand, Gilles Barthe, G. Barthe, 2000, APPSEM.
Thierry Coquand, Marc Bezem, T. Coquand, 2005, LPAR.
Thierry Coquand, T. Coquand, 1996, Sci. Comput. Program..
Thierry Coquand, Jan M. Smith, Björn von Sydow, 2007 .
Thierry Coquand, Simon Huber, Cyril Cohen, 2015, TYPES.
Thierry Coquand, Makoto Takeyama, Randy Pollack, 2003, Fundam. Informaticae.
Thierry Coquand, Simon Huber, Bruno Barras, 2013 .
Thierry Coquand, Gérard Huet, G. Huet, 1985, European Conference on Computer Algebra.
Thierry Coquand, T. Coquand, 1995 .
Thierry Coquand, Marc Bezem, Stefano Berardi, 1994, The Journal of Symbolic Logic.
Thierry Coquand, Erik Palmgren, T. Coquand, 2002, Arch. Math. Log..
T. Coquand, M. Hutzler, F. Cherubini, 2023, 2307.00073.
T. Coquand, Christian Sattler, Fabian Ruch, 2019, Mathematical Structures in Computer Science.
Thierry Coquand, Simon Huber, Anders Mörtberg, 2018, LICS.
Thierry Coquand, Peter Schuster, Henri Lombardi, 2009, Annals of Mathematics and Artificial Intelligence.
Thierry Coquand, Peter Schuster, Henri Lombardi, 2007 .
T. Coquand, Ayberk Tosun, 2021, Proof and Computation II.
Thierry Coquand, Thorsten Altenkirch, Martín Hötzel Escardó, 2016, Log. Methods Comput. Sci..
Thierry Coquand, Jan M. Smith, Silvio Valentini, 2003, Ann. Pure Appl. Log..
Thierry Coquand, Arnaud Spiwack, T. Coquand, 2007, Calculemus/MKM.
T. Coquand, Christian Sattler, Simon Huber, 2019, Log. Methods Comput. Sci..
Thierry Coquand, T. Coquand, G. Stolzenberg, 1991 .
Thierry Coquand, Peter Schuster, P. Schuster, 2011, J. Log. Anal..
Thierry Coquand, Peter Dybjer, Andreas Abel, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thierry Coquand, Arnaud Spiwack, T. Coquand, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Thierry Coquand, T. Coquand, 1995, Journal of Symbolic Logic.
Thierry Coquand, T. Coquand, 2007, Fundam. Informaticae.
Thierry Coquand, Val Tannen, V. Tannen, 1987, Theor. Comput. Sci..
Thierry Coquand, Simon Huber, Christian Sattler, 2019, FSCD.
Thierry Coquand, Jean-Philippe Bernardy, Guilhem Moulin, 2015, MFPS.
Thierry Coquand, Jan M. Smith, Giovanni Sambin, 2000, Journal of Symbolic Logic.
Thierry Coquand, Vincent Siles, Anders Mörtberg, 2012, CPP.
Thierry Coquand, Bassel Mannaa, T. Coquand, 2016, Log. Methods Comput. Sci..
Thierry Coquand, T. Coquand, 2021, Paul Lorenzen -- Mathematician and Logician.
T. Coquand, M. Hutzler, F. Cherubini, 2023, 2307.00073.
G. Huet, T. Coquand, 1988, Inf. Comput..
Thierry Coquand, T. Coquand, 1986, LICS.
Thierry Coquand, Claude Quitté, T. Coquand, 2012 .
Thierry Coquand, Peter Dybjer, T. Coquand, 1997, Mathematical Structures in Computer Science.
Thierry Coquand, Vincent Siles, Anders Mörtberg, 2012, J. Formaliz. Reason..
Thierry Coquand, T. Coquand, 1999, Ann. Pure Appl. Log..
Thierry Coquand, T. Coquand, 1998, Arch. Math. Log..
T. Coquand, 1994, TYPES.
Thierry Coquand, Marc Bezem, Stefano Berardi, 1995, TLCA.
T. Coquand, H. Lombardi, S. Neuwirth, 2022, 2201.04352.
Thierry Coquand, Guilhem Jaber, T. Coquand, 2012, Epistemology versus Ontology.
Thierry Coquand, Guilhem Jaber, T. Coquand, 2010, Fundam. Informaticae.
Martin Hofmann, Thierry Coquand, M. Hofmann, 1999, Mathematical Structures in Computer Science.
Thomas Ehrhard, Thierry Coquand, T. Coquand, 1987, Category Theory and Computer Science.
Thierry Coquand, Jan M. Smith, Jan M. Smith, 1995, TYPES.
Thierry Coquand, T. Coquand, 1992, Journal of Symbolic Logic.
Thierry Coquand, Peter Dybjer, Marc Bezem, 2020, Mathematical Structures in Computer Science.
Thierry Coquand, T. Coquand, 1992, BIT.
Thierry Coquand, Erik Palmgren, T. Coquand, 2000, Arch. Math. Log..
Thierry Coquand, T. Coquand, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1987, MFPS.
Thierry Coquand, Bas Spitters, T. Coquand, 2008, J. Log. Anal..
Thierry Coquand, Fabian Ruch, Bassel Mannaa, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Thierry Coquand, Bassel Mannaa, T. Coquand, 2013, J. Log. Anal..
Thierry Coquand, Peter Dybjer, T. Coquand, 1994, FSTTCS.
Thierry Coquand, Ulf Norell, Andreas Abel, 2005, FroCoS.
G. Huet, T. Coquand, 1985, European Conference on Computer Algebra.