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

Schedule

• Dec. 21, 2015, 11:15 - 12:00