Collaborated with:
B.Ahrens A.Hirschowitz M.Maggesi
Talks about:
signatur (2) semant (1) reduct (1) monad (1) level (1) initi (1) high (1)
Person: Ambroise Lafont
DBLP: Lafont:Ambroise
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.