Linear Implicative Algebras, towards a BHK interpretation of linear logic
Luc Pellissier
LIP, ENS Lyon
https://lacl.fr/~lpellissier/
Date(s) : 29/11/2018 iCal
11h00 - 12h30
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/
Catégories
