Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Thierry Coquand - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Thierry Coquand

Professor

Thierry Coquand
Professor
Akademisk grad: Doktor,
Coquand@chalmers.se
0 31-772 1030

Besöksadress: Rännvägen 6b , 41258 Göteborg


Datavetenskap (CS) vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
0317721000
Besöksadress: Rännvägen 6B , 412 58 Göteborg

Senaste publikationer

FAILURE OF NORMALIZATION IN IMPREDICATIVE TYPE THEORY WITH PROOF-IRRELEVANT PROPOSITIONAL EQUALITY
Andreas Abel, Thierry Coquand
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Lorenzen's Proof of Consistency for Elementary Number Theory
Thierry Coquand, S. Neuwirth
History and Philosophy of Logic, Artikel i vetenskaplig tidskrift 2020
Artikel i vetenskaplig tidskrift

Skolem's Theorem in Coherent Logic
M. Bezem, Thierry Coquand
Fundamenta Informaticae, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

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

An Adequacy Theorem for Dependent Type Theory
Thierry Coquand, Simon Huber
Theory of Computing Systems, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

The Univalence Axiom in Cubical Sets
M. Bezem, Thierry Coquand, Simon Huber
Journal of Automated Reasoning, Artikel i vetenskaplig tidskrift 2019
Artikel i vetenskaplig tidskrift

Combinatorial topology and constructive mathematics
Thierry Coquand
Indagationes Mathematicae-New Series, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

Syntactic forcing models for coherent logic
M. Bezem, U. Buchholtz, Thierry Coquand
Indagationes Mathematicae-New Series, Artikel i vetenskaplig tidskrift 2018
Artikel i vetenskaplig tidskrift

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

Type Theory and Formalisation of Mathematics
Thierry Coquand
Lecture Notes in Computer Science, Springer, Paper i proceeding 2017
Paper i proceeding

Visar 21 - 30 av 90

2014

A Sheaf Model of the Algebraic Closure
Bassel Mannaa, Thierry Coquand
Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014), Vienna, Austria, July 13, 2014, EPTCS, Paper i proceeding 2014
Paper i proceeding

Revisiting Zariski Main Theorem from a constructive point of view
M. E. Alonso, Thierry Coquand, H. Lombardi
Journal of Algebra, Artikel i vetenskaplig tidskrift 2014
Artikel i vetenskaplig tidskrift

2013

About Goodman's Theorem
Thierry Coquand
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Dynamic Newton-Puiseux theorem
Bassel Mannaa, Thierry Coquand
Journal of Logic and Analysis, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Isomorphism is equality
Thierry Coquand, Nils Anders Danielsson
Indagationes mathematicae, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

Computing persistent homology within Coq/SSReflect
Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
ACM Transactions on Computational Logic, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

A constructive version of Laplace's proof on the existence of complex roots
Cyril Cohen, Thierry Coquand
Journal of Algebra, Artikel i vetenskaplig tidskrift 2013
Artikel i vetenskaplig tidskrift

2012

Constructive Finite Free Resolutions
Thierry Coquand, Claude Quitte
Manuscripta Mathematica, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

A Formal Proof of the Sasaki-Murao Algorithm
Thierry Coquand, Anders Mörtberg, Vincent Siles
Journal of Formalized Reasoning, Artikel i vetenskaplig tidskrift 2012
Artikel i vetenskaplig tidskrift

Visar 21 - 30 av 90

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?