BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7185@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20181129T110000
DTEND;TZID=Europe/Paris:20181129T123000
DTSTAMP:20241120T203443Z
URL:https://www.i2m.univ-amu.fr/evenements/linear-implicative-algebras-tow
 ards-a-bhk-interpretation-of-linear-logic/
SUMMARY:Luc Pellissier (LIP\, ENS Lyon): Linear Implicative Algebras\, towa
 rds a BHK interpretation of linear logic
DESCRIPTION:Luc Pellissier: Implicative Algebras were recently introduced a
 s a unified framework for forcing and realisability\, whose particularity 
 is to interpret terms and formulæ uniformly.\n-\nIn this ongoing work wit
 h Alexandre Miquel\, we show how linear logic fits in this picture.\nhttp:
 //lipn.univ-paris13.fr/~pellissier/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Luc_Pellissier.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20181028T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR