chateau_d_if.jpeg

Infinitary proof theory : the multiplicative additive case

  • David Baelde
  • Amina Doumane
  • Alexis Saurin

Schedule

  • Sept. 1, 2016, 16:30 - 18:00(Linear logic session)

Attachments