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 51 - 60 av 90

2007

Untyped algorithmic equality for Martin-Löf's logical framework with surjective pairs
Andreas Abel, Thierry Coquand
Fundamenta Informaticae, Artikel i vetenskaplig tidskrift 2007
Artikel i vetenskaplig tidskrift

Towards constructive homological algebra in type theory
Thierry Coquand, Arnaud Spiwack
Proceeding of Calculemus 2007, Paper i proceeding 2007
Paper i proceeding

The completeness of typing for context-semantics
Thierry Coquand
Fundamenta Informaticae, Artikel i vetenskaplig tidskrift 2007
Artikel i vetenskaplig tidskrift

2006

Remarks on the equational theory of non-normalizing pure type systems
G. Barthe, Thierry Coquand
Journal of Functional Programming, Artikel i vetenskaplig tidskrift 2006
Artikel i vetenskaplig tidskrift

Geometric Hahn-Banach theorem
Thierry Coquand
Math. Proc. Cambridge Philos. Soc, Artikel i vetenskaplig tidskrift 2006
Artikel i vetenskaplig tidskrift

Preface of special issue on formal topology
Thierry Coquand, Giovanni Sambin
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2006
Artikel i vetenskaplig tidskrift

A logical approach to abstract algebra
Thierry Coquand, Henri Lombardi
Mathematical Structures in Computer Science, Artikel i vetenskaplig tidskrift 2006
Artikel i vetenskaplig tidskrift

On seminormality
Thierry Coquand
Journal of Algebra, Artikel i vetenskaplig tidskrift 2006
Artikel i vetenskaplig tidskrift

A Proof of Strong Normalisation Using Domain Theory
Thierry Coquand, Arnaud Spiwack
proceeding of Logic in Computer Science, 2006, Paper i proceeding 2006
Paper i proceeding

2005

Visar 51 - 60 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?