chateau_d_if.jpeg

Polymorphic Game Semantics for Dynamic Binding

  • James Laird

Schedule

  • Aug. 30, 2016, 16:30 - 18:00(Realizability, denotational semantics session)

Attachments