calanques_sugiton.jpeg

Parametric polymorphism and the completeness of type theory

  • Paolo Pistone

Schedule

  • Sept. 2, 2016, 11:05 - 11:35

Attachments