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 71 - 80 av 90

2005

An elementary characterization of Krull dimension
Thierry Coquand, Henri Lombardi, Marie-Francoise Roy
From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics. (L. Crosilla, P. Schuster, eds.). Oxford University Press,, Kapitel i bok 2005
Kapitel i bok

Formalising Bitonic Sort in Type Theory
Ana Bove, Thierry Coquand
Types for Proofs and Programs TYPES 2004, Paper i proceeding 2005
Paper i proceeding

2004

Sur un théorème de Kronecker concernant les variétés algébriques
Thierry Coquand
Comptes rendus. Mathematique, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

Generating non noetherian modules constructively
Thierry Coquand, H. Lombardi, C. Quitte
Manuscripta mathematica, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

Proof-theoretical analysis of order relations
S. Negri, J. von Plato, Thierry Coquand
Archive for mathematical logic, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

La contribution de Kolmogoroven logique intuitioniste
Thierry Coquand
L'héritage de Kolmogorov en mathématiques, Kapitel i bok 2004
Kapitel i bok

Generating non-Noetherian modules constructively
Thierry Coquand, Henri Lombardi, Claude Quitte
Manuscripta Math, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

On a theorem of Kronecker about algebraic sets
Thierry Coquand
C. R. Math. Acad. Sci. Paris, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

A note on measures with values in a partially ordered vector space.
Thierry Coquand
Positivity, Artikel i vetenskaplig tidskrift 2004
Artikel i vetenskaplig tidskrift

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, Paper i proceeding 2003
Paper i proceeding

Visar 71 - 80 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?