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,
thierry.coquand@gu.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

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

On Decidability of Conversion in Type Theory
Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
Thierry Coquand, H. Lombardi
Communications in Algebra, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

A Kripke model for simplicial sets
M. Bezem, Thierry Coquand
Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 84

2018

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

2017

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

2016

On Decidability of Conversion in Type Theory
Andreas Abel, Thierry Coquand, Bassel Mannaa
22nd International Conference on Types for Proofs and Programs (TYPES 2016), Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2016
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

RING DIVIDERS AND KRULL RINGS (A CONSTRUCTIVE APPROACH)
Thierry Coquand, H. Lombardi
Communications in Algebra, Artikel i vetenskaplig tidskrift 2016
Artikel i vetenskaplig tidskrift

2015

A Kripke model for simplicial sets
M. Bezem, Thierry Coquand
Theoretical Computer Science, Artikel i vetenskaplig tidskrift 2015
Artikel i vetenskaplig tidskrift

Visar 1 - 10 av 84

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?