Ambroise Lafont and Tom Hirschowitz: Modules over monads and operational semantics (FSCD B)
Channel: IJCAR-FSCD 2020
Date: 2020-07-12

Authors: André Hirschowitz, Tom Hirschowitz, and Ambroise Lafont

Aired: 2020-02-02 17:30:00 CEST (UTC+2)