Linear Implicative Algebras, towards a BHK interpretation of linear logic

Carte non disponible

Date/heure
Date(s) - 29/11/2018
11 h 00 min - 12 h 30 min

Catégories


Implicative Algebras were recently introduced as a unified framework for forcing and realisability, whose particularity is to interpret terms and formulæ uniformly.

In this ongoing work with Alexandre Miquel, we show how linear logic fits in this picture.

http://lipn.univ-paris13.fr/~pellissier/

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange