91̽»¨

Felix Cherubini, Thierry Coquand, Matthias Hutzler
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2024

Thierry Coquand
Lecture Notes in Computer 91̽»¨ (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2024

Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Mathematics For Computation (M4c) - 2023

Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
Leibniz International Proceedings in Informatics, LIPIcs - 2023

Thierry Coquand
Logical Methods in Computer 91̽»¨ - 2023

Thierry Coquand, Simon Huber, C. Sattler
Logical Methods in Computer 91̽»¨ - 2022

M. Bezem, Thierry Coquand
Theoretical Computer 91̽»¨ - 2022

C. Angiuli, G. Brunerie, Thierry Coquand, R. Harper, K. B. Hou, D. R. Licata
Mathematical Structures in Computer 91̽»¨ - 2021

Thierry Coquand, Fabian Ruch, Christian Sattler
Mathematical Structures in Computer 91̽»¨ - 2021

M. Bezem, Thierry Coquand, P. Dybjer, M. Escardo
Mathematical Structures in Computer 91̽»¨ - 2021

Thierry Coquand, A. Tosun
Proof and Computation II - 2021

Thierry Coquand, Henri Lombardi, Stefan Neuwirth
Paul Lorenzen -- Mathematician and Logician. Logic, Epistemology, and the Unity of 91̽»¨. Gerhard Heinzmann, Gereon Wolters (red.) - 2021

Thierry Coquand
Paul Lorenzen -- Mathematician and Logician. Logic, Epistemology, and the Unity of 91̽»¨. Gerhard HeinzmannGereon Wolters (red.) - 2021

Thierry Coquand, S. Neuwirth
History and Philosophy of Logic - 2020

Andreas Abel, Thierry Coquand
Logical Methods in Computer 91̽»¨ - 2020

Thierry Coquand, H. Lombardi, S. Neuwirth
Rocky Mountain Journal of Mathematics - 2019

M. Bezem, Thierry Coquand
Fundamenta Informaticae - 2019

Thierry Coquand, Simon Huber
Theory of Computing Systems - 2019

M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning - 2019

M. Bezem, U. Buchholtz, Thierry Coquand
Indagationes Mathematicae-New Series - 2018

Thierry Coquand
Indagationes Mathematicae-New Series - 2018

Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber, Nicolai Kraus
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts - 2017

Thierry Coquand, B. Mannaa
Logical Methods in Computer 91̽»¨ - 2017

Thierry Coquand
Lecture Notes in Computer 91̽»¨ - 2017

Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
Journal of Applied Logics - 2017

Thierry Coquand, H. Lombardi
Communications in Algebra - 2016

Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016) - 2016

Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
2015

M. Bezem, Thierry Coquand
Theoretical Computer 91̽»¨ - 2015

Thierry Coquand
Asterisque - 2015

Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin
Electronical Notes in Theoretical Computer 91̽»¨ - 2015

B. Barras, Thierry Coquand, Simon Huber
Mathematical Structures in Computer 91̽»¨ - 2015

Thierry Coquand
CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE - 2014

Bassel Mannaa, Thierry Coquand
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS - 2014

M. E. Alonso, Thierry Coquand, H. Lombardi
Journal of Algebra - 2014

Thierry Coquand
Annals of Pure and Applied Logic - 2013

Bassel Mannaa, Thierry Coquand
Journal of Logic and Analysis - 2013

Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae - 2013

Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
ACM Transactions on Computational Logic - 2013

Cyril Cohen, Thierry Coquand
Journal of Algebra - 2013

Thierry Coquand, Claude Quitte
Manuscripta Mathematica - 2012

Thierry Coquand, Anders Mörtberg, Vincent Siles
Journal of Formalized Reasoning - 2012

Anders Mörtberg, Thierry Coquand, Vincent Siles
CPP 2012, LNCS - 2012

Miguel Pagano, Andreas Abel, Thierry Coquand
Logical Methods in Computer 91̽»¨ - 2011

Thierry Coquand, E. Palmgren, B. Spitters
Mathematical Logic Quarterly - 2011

A Abel, Thierry Coquand, M Pagano
LOGICAL METHODS IN COMPUTER SCIENCE - 2011

Thierry Coquand, Vincent Siles
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao - 2011

Thierry Coquand, Peter Schuster
Journal of Logic and Analysis - 2011

S. Berardi, Thierry Coquand, S. Hayashi
Annals of Pure and Applied Logic - 2010

Thierry Coquand, Henri Lombardi, Claude Quitte
JOURNAL OF SYMBOLIC COMPUTATION - 2010

Thierry Coquand, Guilhem Jaber
FUNDAMENTA INFORMATICAE - 2010

Thierry Coquand, Bas Spitters
Mathematical Proceedings of the Cambridge Philosophical Society - 2009

Thierry Coquand, Y. Kinoshita, Bengt Nordström, M. Takeyama
From Semantics to Computer 91̽»¨ : Essays in Honour of Gilles Kahn - 2009

Thierry Coquand, Henri Lombardi, Peter Schuster
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE - 2009

Thierry Coquand, Lionel Ducos, Henri Lombardi, Claude Quitte
JOURNAL OF ALGEBRA AND ITS APPLICATIONS - 2009

Thierry Coquand
Annals of Pure and Applied Logic - 2009

Thierry Coquand, Bas Spitters
Logic and Analysis - 2009

Thierry Coquand
Proceeding of CSL 09 - 2009

Thierry Coquand
TLCA 2009 - 2009

Andreas Abel, Thierry Coquand, Peter Dybjer
FLOPS 2008 - 2008

Andreas Abel, Thierry Coquand, Peter Dybjer
Mathematics of Program Construction 2008 - 2008

Thierry Coquand
Math.Log. Q. - 2008

Andreas Abel, Thierry Coquand, Peter Dybjer
Proceedings of 22nd IEEE Annual Symposium on Logic in Computer91̽»¨, Wroclaw, Poland, July 2007. - 2007

Andreas Abel, Thierry Coquand
Fundamenta Informaticae - 2007

Thierry Coquand, Arnaud Spiwack
Proceeding of Calculemus 2007 - 2007

Thierry Coquand
Fundamenta Informaticae - 2007

G. Barthe, Thierry Coquand
Journal of Functional Programming - 2006

Thierry Coquand
Math. Proc. Cambridge Philos. Soc - 2006

Thierry Coquand, Giovanni Sambin
Annals of Pure and Applied Logic - 2006

Thierry Coquand, Henri Lombardi
Mathematical Structures in Computer 91̽»¨ - 2006

Thierry Coquand
Journal of Algebra - 2006

Thierry Coquand, Arnaud Spiwack
proceeding of Logic in Computer 91̽»¨, 2006 - 2006

Thierry Coquand, Andreas Abel, Ulf Norell
FroCos 2005 - 2005

Thierry Coquand, Andreas Abel
Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005); in: LECTURE NOTES IN COMPUTER SCIENCE , Volume: 3461) - 2005

Thierry Coquand, Henri Lombardi, Peter Schuster
Arch. Math. (Basel) - 2005

Thierry Coquand
Journal of Pure and Applied Algebra - 2005

Thierry Coquand, Bas Spiiters
J.UCS 11 - 2005

Thierry Coquand, Marc Bezem
LPAR 2005 - 2005

Thierry Coquand, Makoto Takeyama, Randy Pollack
Fundam. Inform. - 2005

Thierry Coquand
CiE2005 - 2005

Thierry Coquand
TLCA 2005 - 2005

Thierry Coquand, Bas Spitters
MLQ Math. Log. Q. - 2005

Thierry Coquand
Logic, Methodology and Philosophy of 91̽»¨s. Preceedings of the Twelfth International Congress. Hajek, Valdes-Villuaneva, Westerstahl, editors - 2005

Thierry Coquand, Henri Lombardi, Marie-Francoise Roy
From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics. (L. Crosilla, P. Schuster, eds.). Oxford University Press, - 2005

Ana Bove, Thierry Coquand
Types for Proofs and Programs TYPES 2004 - 2005

Thierry Coquand
Comptes rendus. Mathematique - 2004

Thierry Coquand, H. Lombardi, C. Quitte
Manuscripta mathematica - 2004

S. Negri, J. von Plato, Thierry Coquand
Archive for mathematical logic - 2004

Thierry Coquand
L'héritage de Kolmogorov en mathématiques - 2004

Thierry Coquand, Henri Lombardi, Claude Quitte
Manuscripta Math - 2004

Thierry Coquand
C. R. Math. Acad. Sci. Paris - 2004

Thierry Coquand
Positivity - 2004

Thierry Coquand, Henri Lombardi
Commutative ring theory and applications. 4th International Conference on Commutative Algebra, Fez, 2001 - 2003

Thierry Coquand, G. Sambin, Jan Smith, S. Valentini
Annals of Pure and Applied Logic - 2003

Thierry Coquand
Journal of Pure and Applied Algebra - 2003

Thierry Coquand
Theoretical Computer 91̽»¨ - 2003

Thierry Coquand, R. Pollack, Makoto Takeyama
Lecture Notes in Computer 91̽»¨. 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003), Valencia, 10-12 June 2003 - 2003

Marc Bezem, Thierry Coquand
European Association for Theoretical Computer 91̽»¨. Bulletin - 2003

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
2000

Thierry Coquand, Erik Palmgren
1997

Peter Dybjer, Thierry Coquand
Mathematical Structures in Computer 91̽»¨ - 1997

Peter Dybjer, Thierry Coquand
Foundation of Software Technology and Theoretical Computer 91̽»¨: 14th Conference Madras, India; (Lecture Notes in Computer 91̽»¨; 880) - 1994

Peter Dybjer, Thierry Coquand
Proceedings of the 1993 TYPES Workshop, Nijmegen - 1993