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
Read MoreSchool in Proof Theory: Linear Logic, Ludics and Geometry of interaction at Paraty (Rio de Janeiro State, Brazil), from 27
Read More