Type theories and polynomial monads
Informations sur la Vidéo
Langue : AnglaisDate de publication : 28/09/2017 Date de captation : 28/09/2017 Collection : Research talks ; Algebra ; Logic and Foundations ; Topology Format : MP4 Durée : 00:56:01 Domaine : Logic and Foundations ; Algebra ; Topology Audience : Chercheurs ; Doctorants , Post - Doctorants Download : https://videos.cirm-math.fr/2017-09-28_Awodey.mp4 ![]() |
Informations sur la rencontre
Nom de la rencontre : Categories in homotopy theory and rewriting / Catégories pour la théorie de l'homotopie et la réécritureOrganisateurs de la rencontre : Ara, Dimitri ; Fiore, Marcelo ; Guiraud, Yves ; Mimram, Samuel Dates : 25/09/2017 - 29/09/2017 Année de la rencontre : 2017 URL Congrès : http://conferences.cirm-math.fr/1773.html Citation Data
DOI : 10.24350/CIRM.V.19225103Cite this video as: Awodey, Steve (2017). Type theories and polynomial monads. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19225103 URI : http://dx.doi.org/10.24350/CIRM.V.19225103 |