Computation and Intersection Types

Start TimeTitleAuthors
11:30A Gradual Intersection Typed CalculusPedro Ângelo and Mário Florido
11:45Intersection Types for a Computational Lambda-Calculus with Global StateUgo De’Liguoro and Riccardo Treglia
11:55The syntactic tale of the oracle and the treesMartin Baillon and Pierre-Marie Pédrot
12:10Novel rules of β-conversion in partial type theoryJiří Raclavský and Petr Kuchyňka

Event Timeslots (1)

chair: Silvia Ghilezan

Leave a Comment

Your email address will not be published. Required fields are marked *