FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editor: Michele Pagani

Authors	Title	Paper	Talk
Delia Kesner	Quantitative Types: from Foundations to Applications
Damiano Mazza	Polyadic Approximations and Intersection Types
Paweł Parys	Intersection Types for Unboundedness Problems
Federico Aschieri	Natural Deduction and Normalization Proofs for the Intersection Type Discipline		Jul 08 11:00
Giulio Guerrieri	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus		Jul 08 12:00
Olivier Laurent	Intersection Subtyping with Constructors		Jul 08 16:00
Simona Ronchi Della Rocca and Daniele Pautasso	Strong normalization of simple types through uniform intersection types.		Jul 08 11:30
Richard Statman	On sets of terms with a given intersection type
Pedro Ângelo and Mário Florido	Gradual Intersection Types		Jul 08 15:00

Disclaimer | Powered by EasyChair Smart Program