Thierry Coquand - PDFSEARCH.IO - Document Search Engine

Thierry Coquand
Results: 50

#	Item
1	Algebraically Closed Fields Thierry Coquand September 2010 Algebraically Closed Fields Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-12 05:30:43
2	Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-08-05 03:49:47
3	Type Theory and Univalent Foundation Thierry Coquand Clermont-Ferrand, October 17, 2013 Type Theory and Univalent Foundation Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-16 04:43:16
4	Voevodsky’s Univalent Foundation of Mathematics Thierry Coquand Bonn, May 15, 2018 Voevodsky’s Univalent Foundation of Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2018-05-16 04:26:31
5	Introduction ` a la th´ eorie homotopique des types Thierry Coquand GDR Informatique Math´ematique, Journ´ees nationales, 29 Janvier 2014 Add to Reading List Source URL: www.cse.chalmers.se Language: French - Date: 2014-02-04 09:19:45
6	Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory Add to Reading List Source URL: hott-uf.github.io - Date: 2018-03-28 14:04:14
7	Research Proposal: Automating Coherent Logic Marc Bezem∗ Thierry Coquand† Add to Reading List Source URL: www.ii.uib.no - Date: 2007-04-18 05:02:41
8	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
9	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold
10	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus