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

Schedule

• Dec. 13, 2018, 10:30 - 12:00

Attachments

• slides