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
University of Gothenburg
Sitemap
To content Read more about how we use cookies on gu.se

Thierry Coquand

Professor

OverviewPublicationsPortfolioUNDEFINEDUNDEFINED

Thierry Coquand
Professor
Coquand@chalmers.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

Research areas

Latest publications

Skolem's Theorem in Coherent Logic
M. Bezem, Thierry Coquand
Fundamenta Informaticae, Journal article 2019
Journal article

Read the full text
on a web page

Lattice-ordered groups generated by an ordered group and regular systems of ideals
Thierry Coquand, H. Lombardi, S. Neuwirth
Rocky Mountain Journal of Mathematics, Journal article 2019
Journal article

Read the full text
on a web page

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
on a web page

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

Read the full text
PDF

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

Read the full text
on a web page

Showing 1 - 10 of 88

2019

Skolem's Theorem in Coherent Logic
M. Bezem, Thierry Coquand
Fundamenta Informaticae, Journal article 2019
Journal article

Read the full text
on a web page

Lattice-ordered groups generated by an ordered group and regular systems of ideals
Thierry Coquand, H. Lombardi, S. Neuwirth
Rocky Mountain Journal of Mathematics, Journal article 2019
Journal article

Read the full text
on a web page

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Journal article 2019
Journal article

Read the full text
on a web page

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

Read the full text
on a web page

2018

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

Read the full text
on a web page

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

Read the full text
on a web page

2017

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

Read the full text
on a web page

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

Read the full text
PDF

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

Read the full text
on a web page

Showing 1 - 10 of 88

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?