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

The syntactic tale of the oracle and the trees A model of continuity in a dependent setting

1 file(s) 334.49 KB Download

Novel rules of β-conversion in partial type theory

1 file(s) 350.09 KB Download

A Gradual Intersection Typed Calculus

1 file(s) 298.92 KB Download

Intersection Types for a Computational λ-Calculus with Global State

1 file(s) Read more Computation and Intersection Types