Home
Events
Login
Events
Archives
New trends in linear logic proof-nets, 2015-12-21
Talks
Schedule
Timetable
Marc Bagnol
,
TBA
Schedule
Dec. 22, 2015, 9:15 - 10:00