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 61 - 70 av 90

2005

Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs.
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) , Paper i proceeding 2005
Paper i proceeding

A nilregular element property.
Thierry Coquand, Henri Lombardi, Peter Schuster
Arch. Math. (Basel), Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

About Stone Notion of Spectrum
Thierry Coquand
Journal of Pure and Applied Algebra, Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems.
Thierry Coquand, Bas Spiiters
J.UCS 11 , Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

Automating Coherent Logic.
Thierry Coquand, Marc Bezem
LPAR 2005, Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

A Logical Framework with Dependently Typed Records.
Thierry Coquand, Makoto Takeyama, Randy Pollack
Fundam. Inform., Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

A Logical Approach to Abstract Algebra.
Thierry Coquand
CiE2005, Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

Completeness Theorems and lambda-Calculus.
Thierry Coquand
TLCA 2005, Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

A constructive proof of the Peter-Weyl theorem
Thierry Coquand, Bas Spitters
MLQ Math. Log. Q., Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

A Completeness Proof for Geometrical Logic
Thierry Coquand
Logic, Methodology and Philosophy of Sciences. Preceedings of the Twelfth International Congress. Hajek, Valdes-Villuaneva, Westerstahl, editors, Artikel i vetenskaplig tidskrift 2005
Artikel i vetenskaplig tidskrift

Visar 61 - 70 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?