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

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)

THE INDEPENDENCE OF MARKOV'S PRINCIPLE IN TYPE THEORY
Thierry Coquand, B. Mannaa
Logical Methods in Computer Science, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Visar 31 - 40 av 88

2011

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

Constructive Krull Dimension. I: Integral Extensions
Thierry Coquand, Lionel Ducos, Henri Lombardi, Claude Quitte
JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Artikel i vetenskaplig tidskrift 2009
Artikel i vetenskaplig tidskrift

Visar 31 - 40 av 88

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?