Tom Hirschowitz (CNRS - Univ. Savoie Mont Blanc), Familial monads and structural operational semantics

Programme

• 13 décembre 2018, 10:30 - 12:00

Pièces jointes

• slides