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

Schedule

Attachments