calanques_sugiton.jpeg

A Classical Realizability Model for PML, Semantical Value Restriction & Pointed Subtyping

  • Rodolphe Lepigre

Schedule

  • Sept. 2, 2016, 15:35 - 16:05

Attachments