FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ITRS PROGRAM
Sunday, July 8th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:30-11:00Coffee Break
11:00-12:30 Session 38J
11:00
Natural Deduction and Normalization Proofs for the Intersection Type Discipline (abstract)
11:30
Strong normalization of simple types through uniform intersection types. (abstract)
12:00
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 40J
Chair:
14:00
Intersection Types for Unboundedness Problems (ITRS invited talk) (abstract)
15:00
Gradual Intersection Types (abstract)
15:30-16:00Coffee Break
16:00-16:30 Session 42I
16:00
Intersection Subtyping with Constructors (abstract)
16:30-17:30 Session 43 (joint with DCM)
16:30
Polyadic approximations and intersection types (ITRS/DCM joint invited talk) (abstract)