chateau_d_if.jpeg

The relational model is injective for Multiplicative Exponential Linear Logic

  • Daniel de Carvalho

Schedule

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

Attachments