Differential categories from functor calculus
Loading the player...
|
Informations sur la Vidéo
Réalisateur : Récanzone, LucaLangue : Anglais Date de publication : 03/06/2024 Date de captation : 16/05/2024 Sous collection : Research talks arXiv category : Logic in Computer Science ; Category Theory Domaine : Algebra ; Logic and Foundations Format : MP4 (.mp4) - HD Durée : 01:05:45 Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-05-16_Johnson.mp4 ![]() |
Informations sur la Rencontre
Nom de la rencontre : Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later / $ \lambda $-calcul différentiel et logique linéaire différentielle, 20 ans aprèsOrganisateurs de la rencontre : Cerda, Rémy ; Guerrieri, Giulio ; Olimpieri, Federico ; Tasson, Christine ; Vaux Auclair, Lionel Dates : 13/05/2024 - 17/05/2024 Année de la rencontre : 2024 URL Congrès : https://conferences.cirm-math.fr/2980.html
Données de citation
DOI : 10.24350/CIRM.V.20170003Citer cette vidéo: Johnson, Brenda (2024). Differential categories from functor calculus. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20170003 URI : http://dx.doi.org/10.24350/CIRM.V.20170003 |
Imagette Video