22/11/2018 10:30

Séminaire LCR

Soft modalities as prices: a game model for intuitionistic linear logic with subexponentials
Carlos Olarte
Salle B107, bâtiment B, Université de Villetaneuse