FSCD 2017
Mon 4 - Thu 7 September 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Track/Call
Organization
FSCD 2017
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2017
(
series
) /
FSCD 2017 (
series
) /
FSCD 2017
/
A Fibrational Framework for Substructural and Modal Logics
Who
Dan Licata
,
Michael Shulman
,
Mitchell Riley
Track
FSCD 2017
When
Wed 6 Sep 2017 13:00 - 13:30 at
L2
-
Session 12
Dan Licata
Author
Wesleyan University
United States
Michael Shulman
Author
Mitchell Riley
Author
Session Program
Wed 6 Sep
fscd-2017
13:00 - 14:30:
FSCD 2017
- Session 12 at
L2
fscd-2017
13:00 - 13:30
Talk
A Fibrational Framework for Substructural and Modal Logics
Dan Licata
Wesleyan University
,
Michael Shulman
,
Mitchell Riley
fscd-2017
13:30 - 14:00
Talk
Dinaturality between syntax and semantics
Paolo Pistone
fscd-2017
14:00 - 14:30
Talk
Models of Type Theory Based on Moore Paths
Andrew Pitts
University of Cambridge
,
Ian Orton
x
Tue 19 Feb 06:49