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 Catégorie arXiv : Logic in Computer Science ; Category Theory Domaine(s) : Algèbre ; Logique et Fondements Format : MP4 (.mp4) - HD Durée : 01:05:45 Audience : Chercheurs ; Etudiants Science Cycle 2 ; 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 de la Rencontre : 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