Évènement

Boris ENG
LIPN, Paris 13
https://www.engboris.fr/

Date(s) : 30/09/2021   iCal
11h00 - 12h30

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
I2M Luminy - Ancienne BU, Salle Séminaire2 (RdC)

Catégories

• Séminaire