Univalent foundations - PDFSEARCH.IO - Document Search Engine

Univalent foundations
Results: 19

#	Item
1	Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2015-09-28 09:04:32
2	Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: Italian - Date: 2013-05-09 12:23:29
3	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
4	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
5	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:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
6	Univalent Foundations and the Equivalence Principle Benedikt Ahrens Université Paul Sabatier, Toulouse, France Conference on Mathematics and its Applications 2014 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2014-11-11 17:28:11
7	Category theory in Univalent Foundations Benedikt Ahrens1 , Krzysztof Kapulkin2 , Michael Shulman1 1 Institute for Advanced Study, Princeton 2 University of Pittsburgh, Pittsburgh Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2013-07-01 11:17:37
8	Category theory in the Univalent Foundations Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Séminaire LDP, I2M, Marseille Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2014-03-18 05:32:38
9	Formalizing mathematics in the univalent foundations Bas Spitters Nov 25h, 2014 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-11-26 12:26:40
10	Univalent Foundations and the equivalence principle Benedikt Ahrens Institute for Advanced Study Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-09-21 12:15:28