School in Proof Theory : Linear Logic, Ludics and Geometry of interaction
School in Proof Theory: Linear Logic, Ludics and Geometry of interaction at Paraty (Rio de Janeiro State, Brazil), from 27
Lire la suiteCentre d’Archives en Philosophie, Histoire et Édition des Sciences – UAR 3610
School in Proof Theory: Linear Logic, Ludics and Geometry of interaction at Paraty (Rio de Janeiro State, Brazil), from 27
Lire la suite