chateau_d_if.jpeg

Separability in probabilistic lambda-calculus

  • Thomas Leventis (Aix-Marseille, France)

Schedule

  • Sept. 3, 2016, 11:30 - 12:00

Attachments