Home
Events
Login
Events
Archives
New trends in linear logic proof-nets, 2015-12-21
Talks
Schedule
Timetable
Damiano Mazza
,
Proof Nets in Space
Schedule
Dec. 21, 2015, 15:15 - 16:00