To the top

Page Manager: Webmaster
Last update: 4/19/2017 1:56 PM

Tell a friend about this page
Print version

Thierry Coquand - University of Gothenburg, Sweden Till startsida
Sitemap
To content Read more about how we use cookies on gu.se

Thierry Coquand

Professor

Thierry Coquand
Professor
thierry.coquand@gu.se
+46 31-772 1030

Visiting Address: Rännvägen 6b , 41258 Göteborg


Computer Science (CS) at Department of Computer Science and Engineering (More Information)
412 96 Göteborg
0317721000
Visiting Address: Rännvägen 6B , 412 58 Göteborg

Latest publications

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Journal article 2019
Journal article

Combinatorial topology and constructive mathematics
Thierry Coquand
Indagationes Mathematicae-New Series, Journal article 2018
Journal article

Syntactic forcing models for coherent logic
M. Bezem, U. Buchholtz, Thierry Coquand
Indagationes Mathematicae-New Series, Journal article 2018
Journal article

Cubical type theory: a constructive interpretation of the univalence axiom
Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg
Journal of Applied Logics, Journal article 2017
Journal article

Type Theory and Formalisation of Mathematics
Thierry Coquand
Lecture Notes in Computer Science, Springer, Conference paper 2017
Conference paper

Type Theory with Weak J
Thorsten Altenkirch, Paolo Capriotti, Thierry Coquand, Nils Anders Danielsson, Simon Huber et al.
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017, Abstracts, Budapest, Hungary, Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Conference contribution 2017
Conference contribution

THE INDEPENDENCE OF MARKOV'S PRINCIPLE IN TYPE THEORY
Thierry Coquand, B. Mannaa
Logical Methods in Computer Science, Journal article 2017
Journal article

On Decidability of Conversion in Type Theory
Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Conference contribution 2016
Conference contribution

RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
Thierry Coquand, H. Lombardi
Communications in Algebra, Journal article 2016
Journal article

Showing 71 - 80 of 85

2004

La contribution de Kolmogoroven logique intuitioniste
Thierry Coquand
L'héritage de Kolmogorov en mathématiques, Chapter in book 2004
Chapter in book

Generating non-Noetherian modules constructively
Thierry Coquand, Henri Lombardi, Claude Quitte
Manuscripta Math, Journal article 2004
Journal article

On a theorem of Kronecker about algebraic sets
Thierry Coquand
C. R. Math. Acad. Sci. Paris, Journal article 2004
Journal article

2003

Hidden constructions in abstract algebra: Krull dimension of distributive lattices and commutative rings
Thierry Coquand, Henri Lombardi
Commutative ring theory and applications. 4th International Conference on Commutative Algebra, Fez, 2001, Conference paper 2003
Conference paper

Inductively generated formal topologies
Thierry Coquand, G. Sambin, Jan Smith, S. Valentini
Annals of Pure and Applied Logic, Journal article 2003
Journal article

Compact spaces and distributive lattices
Thierry Coquand
Journal of Pure and Applied Algebra, Journal article 2003
Journal article

A syntactical proof of the marriage lemma
Thierry Coquand
Theoretical Computer Science, Journal article 2003
Journal article

A Logical Framework with Dependently Typed Records
Thierry Coquand, R. Pollack, Makoto Takeyama
Lecture Notes in Computer Science. 6th International Conference on Typed Lambda Calculi and Applications (TLCA 2003), Valencia, 10-12 June 2003, Conference paper 2003
Conference paper

Newman's lemma - a case study in proof automation and geometric logic
Marc Bezem, Thierry Coquand
European Association for Theoretical Computer Science. Bulletin, Journal article 2003
Journal article

Showing 71 - 80 of 85

Page Manager: Webmaster|Last update: 4/19/2017
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?