Boris ENG
LIPN, Paris 13
https://www.engboris.fr/
Date(s) : 30/09/2021 iCal
11 h 00 min - 12 h 30 min
Dans cet exposé, je présente une interprétation technique du projet de syntaxe transcendantale de Girard que j’ai réalisée avec Thomas Seiller. Ce projet esquisse un modèle de calcul se trouvant à l’intersection de la programmation logique et des modèles de pavage. Girard propose d’utiliser ce modèle comme brique de base pour parler de la logique (linéaire) comme émergente plutôt que primitive. Ce projet est motivé par l’espoir d’une meilleure compréhension du logiquement correct.
L’exposé sera retransmis ici :
https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef
Emplacement
Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)
Catégories