Bibliographic Citation
| - Hirschowitz AndrĂ©, Hirschowitz Tom, Lafont Ambroise. Modules over monads and operational semantics. 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France. pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩
- HirschowitzAndrĂ©, HirschowitzTom, LafontAmbroise . Modules over monads and operational semantics . 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France . pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩
|