Zur Kurzanzeige

Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory

dc.date.accessioned2019-10-24T14:15:26Z
dc.date.available2019-10-24T14:15:26Z
dc.date.issued2011
dc.identifier.urihttp://publications.mfo.de/handle/mfo/3228
dc.description.abstractOver the past few years it has become apparent that there is a surprising and deep connection between constructive logic and higherdimensional structures in algebraic topology and category theory, in the form of an interpretation of the dependent type theory of Per Martin-Löf into classical homotopy theory. The interpretation results in a bridge between the worlds of constructive and classical mathematics which promises to shed new light on both. This mini-workshop brought together researchers in logic, topology, and cognate fields in order to explore both theoretical and practical ramifications of this discovery.
dc.titleMini-Workshop: The Homotopy Interpretation of Constructive Type Theory
dc.rights.licenseDieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.de
dc.rights.licenseThis document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties.en
dc.identifier.doi10.14760/OWR-2011-11
local.series.idOWR-2011-11
local.subject.msc55
local.subject.msc03
local.sortindex668
local.date-range27 Feb - 05 Mar 2011
local.workshopcode1109a
local.workshoptitleMini-Workshop: The Homotopy Interpretation of Constructive Type Theory
local.organizersSteve Awodey, Pittsburgh; Richard Garner, Cambridge UK; Per Martin-Löf, Stockholm; Vladimir Voevodsky, Princeton
local.report-nameWorkshop Report 2011,11
local.opc-photo-id1109a
local.publishers-doi10.4171/OWR/2011/11
local.ems-referenceAwodey Steve, Garner Richard, Martin-Löf Per, Voevodsky Vladimir: Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory. Oberwolfach Rep. 8 (2011), 609-638. doi: 10.4171/OWR/2011/11


Dateien zu dieser Ressource

Thumbnail
Report

Das Dokument erscheint in:

Zur Kurzanzeige