Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Une lecture technique de la syntaxe transcendantale

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


Secured By miniOrange