Collaborated with:
B.Ahrens A.Hirschowitz A.Lafont
Talks about:
signatur (2) semant (1) reduct (1) monad (1) level (1) initi (1) high (1)
Person: Marco Maggesi
DBLP: Maggesi:Marco
Contributed to:
Wrote 2 papers:
- CSL-2018-AhrensHLM #semantics
- High-Level Signatures and Initial Semantics (BA, AH, AL, MM), p. 22.
- POPL-2020-AhrensHLM #monad #reduction
- Reduction monads and their signatures (BA, AH, AL, MM), p. 29.