FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
ICFP 2017 (series) / FSCD 2017 (series) / FSCD 2017 /

A Fibrational Framework for Substructural and Modal Logics

Dan Licata, Michael Shulman, Mitchell Riley
FSCD 2017
Wed 6 Sep 2017 13:00 - 13:30 at L2 - Session 12
Dan Licata
Dan LicataAuthor
Wesleyan University
United States
small-avatar
Michael ShulmanAuthor
small-avatar
Mitchell RileyAuthor

Wed 6 Sep

fscd-2017
13:00 - 14:30: FSCD 2017 - Session 12 at L2
fscd-2017150469560000013:00 - 13:30
Talk
Dan Licata, Michael Shulman, Mitchell Riley
fscd-2017150469740000013:30 - 14:00
Talk
Paolo Pistone
fscd-2017150469920000014:00 - 14:30
Talk
Andrew Pitts, Ian Orton