chateau_d_if.jpeg

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

Schedule

  • Sept. 3, 2016, 14:00 - 14:30

Attachments