Home
Events
Login
Events
Archives
New trends in linear logic proof-nets, 2015-12-21
Talks
Schedule
Timetable
Lorenzo Tortora de Falco
and
Luc Pellissier
,
Some remarks about connectedness, Taylor expansion and injective relational semantics
Schedule
Dec. 21, 2015, 12:00 - 12:30