Thierry Coquand

发表

Thierry Coquand, Simon Huber, 2018, Theory of Computing Systems.
Thierry Coquand, Bas Spitters, Erik Palmgren, 2011, Math. Log. Q..
Thierry Coquand, Val Tannen, 1988, Theor. Comput. Sci..
Thierry Coquand, Peter Schuster, P. Schuster, 2011, J. Log. Anal..
Thierry Coquand, T. Coquand, 1993, Theor. Comput. Sci..
Thierry Coquand, T. Coquand, 1994, TYPES.
Thierry Coquand, Arnaud Spiwack, T. Coquand, 2007, Calculemus/MKM.
Andrej Bauer, Robert Harper, Thierry Coquand, 2013, ArXiv.
Thierry Coquand, Guo-Qiang Zhang, 2000, CSL.
Thierry Coquand, Anuj Dawar, 2016, CSL.
Thierry Coquand, 1985, Combinators and Functional Programming Languages.
Thierry Coquand, Henrik Persson, 1997, CSL.
Thierry Coquand, Henrik Persson, 1998, TYPES.
Thierry Coquand, Bassel Mannaa, T. Coquand, 2013, J. Log. Anal..
Thierry Coquand, 2005, CiE.
Thierry Coquand, Guilhem Jaber, T. Coquand, 2012, Epistemology versus Ontology.
Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, LICS 1989.
Thierry Coquand, T. Coquand, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Thierry Coquand, 2013, Ann. Pure Appl. Log..
Thierry Coquand, 2005, TLCA.
Thierry Coquand, Jan M. Smith, Peter Dybjer, 2002, Lecture Notes in Computer Science.
Thierry Coquand, Jan M. Smith, Bengt Nordström, 1994, Bull. EATCS.
Thierry Coquand, Makoto Takeyama, Randy Pollack, 2003, Fundam. Informaticae.
Thomas Ehrhard, Thierry Coquand, T. Coquand, 1987, Category Theory and Computer Science.
Thierry Coquand, Christine Paulin, T. Coquand, 1988, Conference on Computer Logic.
Thierry Coquand, Vincent Siles, T. Coquand, 2011, CPP.
Thierry Coquand, Marie-Françoise Roy, Henri Lombardi, 2005, Mathematics, Algorithms, Proofs.
Thierry Coquand, Simon Huber, Cyril Cohen, 2015, TYPES.
Thierry Coquand, Peter Schuster, Henri Lombardi, 2005, Mathematics, Algorithms, Proofs.
Andrej Bauer, Thierry Coquand, Giovanni Sambin, 2012, Ann. Pure Appl. Log..
Thierry Coquand, Guilhem Jaber, T. Coquand, 2010, Fundam. Informaticae.
Thierry Coquand, Simon Huber, Marc Bezem, 2018, Journal of Automated Reasoning.
Thierry Coquand, Gérard Huet, G. Huet, 1985, European Conference on Computer Algebra.
Thierry Coquand, Vincent Siles, Anders Mörtberg, 2012, CPP.
Thierry Coquand, Bas Spitters, T. Coquand, 2008, J. Log. Anal..
Thierry Coquand, Vincent Siles, Anders Mörtberg, 2012, J. Formaliz. Reason..
Thierry Coquand, T. Coquand, 2018, SIGL.
Thierry Coquand, Gilles Barthe, G. Barthe, 2001 .
Thierry Coquand, 2005, Mathematics, Algorithms, Proofs.
Thierry Coquand, Erik Palmgren, T. Coquand, 2000, Arch. Math. Log..
Thierry Coquand, Jónathan Heras, Vincent Siles, 2013, TOCL.
Thierry Coquand, 2006, The Seventeen Provers of the World.
Thierry Coquand, Bas Spitters, T. Coquand, 2012, J. Log. Anal..
Thierry Coquand, 1988, LICS.
Thierry Coquand, Marc Bezem, T. Coquand, 2005, LPAR.
Thierry Coquand, Andreas Abel, 2005, Fundam. Informaticae.
Thierry Coquand, T. Coquand, 1996, Sci. Comput. Program..
Thierry Coquand, Peter Dybjer, Andreas Abel, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thierry Coquand, 2018, LICS.
Thierry Coquand, 2009, CSL.
Thierry Coquand, Henri Lombardi, 2005, Am. Math. Mon..
Thierry Coquand, Thorsten Altenkirch, 2001, TLCA.
Thierry Coquand, Ana Bove, T. Coquand, 2004, TYPES.
Thierry Coquand, Gilles Barthe, G. Barthe, 2000, APPSEM.
Thierry Coquand, Peter Schuster, Maria Emilia Maietti, 2016, Ann. Pure Appl. Log..
Thierry Coquand, T. Coquand, 1992, Journal of Symbolic Logic.
Thierry Coquand, 2019, Theor. Comput. Sci..
Thierry Coquand, Bassel Mannaa, 2016, FSCD.
Thierry Coquand, Anuj Dawar, Damian Niwinski, 2012, CSL.
Thierry Coquand, Makoto Takeyama, Randy Pollack, 2002 .
Thierry Coquand, T. Coquand, 1992, BIT.
Thierry Coquand, T. Coquand, 1992, Constructivity in Computer Science.
Thierry Coquand, Marie-Françoise Roy, Henri Lombardi, 2006, Mathematics, Algorithms, Proofs.
Thierry Coquand, Guo-Qiang Zhang, 2003, Theor. Comput. Sci..
Thierry Coquand, Thorsten Altenkirch, Martín Hötzel Escardó, 2013, TLCA.
Thierry Coquand, Peter Dybjer, Andreas Abel, 2008, MPC.
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Thierry Coquand, Peter Dybjer, Marc Bezem, 2020, Mathematical Structures in Computer Science.
Thierry Coquand, Dimitrios Vytiniotis, David Wahlstedt, 2012, ITP.
Thierry Coquand, Jan M. Smith, Giovanni Sambin, 2000, Journal of Symbolic Logic.
Thierry Coquand, Marc Bezem, Erik Parmann, 2015, TLCA.
Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Thierry Coquand, 2003, TABLEAUX.
Thierry Coquand, T. Coquand, 1998, Arch. Math. Log..
Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1989, Inf. Comput..
Thierry Coquand, Gilles Barthe, 2006, J. Funct. Program..
Thierry Coquand, Val Tannen, Carl A. Gunter, 1991, Inf. Comput..
Thierry Coquand, Jan M. Smith, Jan M. Smith, 1995, TYPES.
Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin, 2006, Ann. Pure Appl. Log..
Thierry Coquand, T. Coquand, 2007 .
Thierry Coquand, Sara Negri, Jan von Plato, 2004, Arch. Math. Log..
Thierry Coquand, Marc Bezem, Keiko Nakata, 2016, TYPES.
Thierry Coquand, 2003, Theor. Comput. Sci..
Thierry Coquand, Henri Lombardi, 2006, Math. Struct. Comput. Sci..
Thierry Coquand, 1999, Electron. Notes Theor. Comput. Sci..
Thierry Coquand, Henri Lombardi, T. Coquand, 2008, Math. Log. Q..
Thierry Coquand, Makoto Takeyama, 2000, TYPES.
Thierry Coquand, Erik Palmgren, Maria Emilia Maietti, 2019, J. Log. Anal..
Thierry Coquand, Henri Lombardi, Claude Quitté, 2010, J. Symb. Comput..
Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1987, MFPS.
Thierry Coquand, Gérard P. Huet, G. Huet, 1988, Inf. Comput..
Thierry Coquand, Jean-Philippe Bernardy, Guilhem Moulin, 2015, MFPS.
Thierry Coquand, Peter Dybjer, T. Coquand, 1994, FSTTCS.
Thierry Coquand, T. Coquand, 1999, Ann. Pure Appl. Log..
Thierry Coquand, Gérard P. Huet, T. Coquand, 1985, Logic Colloquium.
Thierry Coquand, Peter Dybjer, Andreas Abel, 2008, FLOPS.
Thierry Coquand, Peter Schuster, Henri Lombardi, 2009, Annals of Mathematics and Artificial Intelligence.
Thierry Coquand, T. Coquand, 1995, Journal of Symbolic Logic.
Thierry Coquand, Makoto Takeyama, Bengt Nordström, 2009 .
Thierry Coquand, Simon Huber, Christian Sattler, 2019, FSCD.
Thierry Coquand, T. Coquand, 2009, Ann. Pure Appl. Log..
Thierry Coquand, Bassel Mannaa, T. Coquand, 2016, Log. Methods Comput. Sci..
Thierry Coquand, Arnaud Spiwack, 2006, LICS.
Thierry Coquand, Val Tannen, V. Tannen, 1987, Theor. Comput. Sci..
Thierry Coquand, Peter Dybjer, T. Coquand, 1997, Mathematical Structures in Computer Science.
Thierry Coquand, Henri Lombardi, Marie-Françoise Roy, 2005, From sets and types to topology and analysis.
Thierry Coquand, Fabian Ruch, Bassel Mannaa, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Thierry Coquand, T. Coquand, 2007, Fundam. Informaticae.
Thierry Coquand, Marc Bezem, 2015, Theor. Comput. Sci..
Thierry Coquand, T. Coquand, 1997, Journal of Symbolic Logic.
Thierry Coquand, Bas Spitters, T. Coquand, 2010, J. Log. Anal..
Thierry Coquand, Hugo Herbelin, 1994, J. Funct. Program..
Thierry Coquand, Simon Huber, Anders Mörtberg, 2018, LICS.
Martin Hofmann, Thierry Coquand, M. Hofmann, 1999, Mathematical Structures in Computer Science.
Thierry Coquand, T. Coquand, 1991, Category Theory and Computer Science.
Thierry Coquand, Arnaud Spiwack, T. Coquand, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Thierry Coquand, T. Coquand, 1992 .
Thierry Coquand, Marc Bezem, Stefano Berardi, 1995, TLCA.
Thierry Coquand, Jan M. Smith, Björn von Sydow, 2007 .
Thierry Coquand, Jan M. Smith, Silvio Valentini, 2003, Ann. Pure Appl. Log..
Thierry Coquand, Marc Bezem, T. Coquand, 2019, Fundam. Informaticae.
Thierry Coquand, Bas Spitters, 2005, Math. Log. Q..
Thierry Coquand, Simon Huber, Bruno Barras, 2013 .
Susumu Hayashi, Thierry Coquand, Stefano Berardi, 2010, Ann. Pure Appl. Log..
Thierry Coquand, T. Coquand, 1986, LICS.
Thierry Coquand, Marc Bezem, Stefano Berardi, 1994, The Journal of Symbolic Logic.
Thierry Coquand, Erik Palmgren, T. Coquand, 2002, Arch. Math. Log..
Thierry Coquand, Ulf Norell, Andreas Abel, 2005, FroCoS.
Thierry Coquand, T. Coquand, 1994, Inf. Comput..
Thierry Coquand, Bassel Mannaa, 2014, CL&C.
Thierry Coquand, Thorsten Altenkirch, Martín Hötzel Escardó, 2016, Log. Methods Comput. Sci..
Thierry Coquand, Simon Huber, Marc Bezem, 2013, TYPES.
Thierry Coquand, Henri Lombardi, Stefan Neuwirth, 2021 .
Thierry Coquand, Fabian Ruch, Christian Sattler, 2021, Mathematical Structures in Computer Science.
Thierry Coquand, T. Coquand, 2021, Paul Lorenzen -- Mathematician and Logician.
Thierry Coquand, Marie-Françoise Roy, Henri Lombardi, 2021 .
Thierry Coquand, Simon Huber, Anders Mörtberg, 2015 .
Thierry Coquand, T. Coquand, 2004 .
Thierry Coquand, 2004 .
Thierry Coquand, Carl A. Gunter, Andre Scedrov, 1991 .
Thierry Coquand, T. Coquand, G. Stolzenberg, 1991 .
Thierry Coquand, T. Coquand, 2003 .
Thierry Coquand, Henri Lombardi, Claude Quitté, 2009 .
Thierry Coquand, Claude Quitté, T. Coquand, 2012 .
Thierry Coquand, T. Coquand, 1995 .
Thierry Coquand, Peter Schuster, Henri Lombardi, 2007 .
Thierry Coquand, Robert Harper, Daniel R. Licata, 2021, Mathematical Structures in Computer Science.
Thierry Coquand, Peter Dybjer, Andreas Abel, 2008 .
Thierry Coquand, Nils Anders Danielsson, T. Coquand, 2013 .
Thierry Coquand, T. Coquand, 2006 .
Thierry Coquand, Robert Harper, Daniel R. Licata, 2017 .
Thierry Coquand, Henrik Persson, 1998 .