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

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

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, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 31 - 40 av 89

2011

Metric complements of overt closed sets
Thierry Coquand, E. Palmgren, B. Spitters
Mathematical Logic Quarterly, Artikel i vetenskaplig tidskrift 2011
Artikel i vetenskaplig tidskrift

A MODULAR TYPE-CHECKING ALGORITHM FOR TYPE THEORY WITH SINGLETON TYPES AND PROOF IRRELEVANCE
A Abel, Thierry Coquand, M Pagano
LOGICAL METHODS IN COMPUTER SCIENCE, Artikel i vetenskaplig tidskrift 2011
Artikel i vetenskaplig tidskrift

A Decision Procedure for Regular Expression Equivalence in Type Theory
Thierry Coquand, Vincent Siles
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao, Paper i proceeding 2011
Paper i proceeding

Unique path as formal points
Thierry Coquand, Peter Schuster
Journal of Logic and Analysis, Artikel i vetenskaplig tidskrift 2011
Artikel i vetenskaplig tidskrift

2010

Games with 1-backtracking
S. Berardi, Thierry Coquand, S. Hayashi
Annals of Pure and Applied Logic, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

Curves and coherent Prufer rings
Thierry Coquand, Henri Lombardi, Claude Quitte
JOURNAL OF SYMBOLIC COMPUTATION, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

A Note on Forcing and Type Theory
Thierry Coquand, Guilhem Jaber
FUNDAMENTA INFORMATICAE, Artikel i vetenskaplig tidskrift 2010
Artikel i vetenskaplig tidskrift

2009

Constructive Gelfand duality for C*-algebras
Thierry Coquand, Bas Spitters
Mathematical Proceedings of the Cambridge Philosophical Society, Artikel i vetenskaplig tidskrift 2009
Artikel i vetenskaplig tidskrift

A simple type-theoretic language: Mini-TT
Thierry Coquand, Y. Kinoshita, Bengt Nordström, M. Takeyama
From Semantics to Computer Science : Essays in Honour of Gilles Kahn, Cambridge University Press, Kapitel i bok 2009
Kapitel i bok

Spectral schemes as ringed lattices
Thierry Coquand, Henri Lombardi, Peter Schuster
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Artikel i vetenskaplig tidskrift 2009
Artikel i vetenskaplig tidskrift

Visar 31 - 40 av 89

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?