FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Wed 6 Sep 2017 13:00 - 13:30 at L2 - Session 12

Wed 6 Sep

Displayed time zone: Belfast change

13:00 - 14:30
Session 12FSCD 2017 at L2
13:00
30m
Talk
A Fibrational Framework for Substructural and Modal Logics
FSCD 2017
A: Dan Licata Wesleyan University, A: Michael Shulman , A: Mitchell Riley
13:30
30m
Talk
Dinaturality between syntax and semantics
FSCD 2017
14:00
30m
Talk
Models of Type Theory Based on Moore Paths
FSCD 2017
A: Andrew Pitts University of Cambridge, A: Ian Orton