chateau_d_if.jpeg

Probabilistic Call-By-Push-Value Adequacy and Full Abstraction

Schedule

  • Sept. 2, 2016, 14:45 - 15:30

Attachments