Daniel De Carvalho, The relational model is injective for Multiplicative Exponential Linear Logic

Schedule