FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Aschieri, Federico	Natural Deduction and Normalization Proofs for the Intersection Type Discipline
F
Florido, Mário	Gradual Intersection Types
G
Guerrieri, Giulio	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
L
Laurent, Olivier	Intersection Subtyping with Constructors
M
Mazza, Damiano	Polyadic approximations and intersection types (ITRS/DCM joint invited talk)
P
Parys, Pawel	Intersection Types for Unboundedness Problems (ITRS invited talk)
Pautasso, Daniele	Strong normalization of simple types through uniform intersection types.
R
Ronchi Della Rocca, Simona	Strong normalization of simple types through uniform intersection types.
Â
Ângelo, Pedro	Gradual Intersection Types

Disclaimer | Powered by EasyChair Smart Program