Modules over relative monads for syntax and semantics
Research output: Contribution to journal › Article › peer-review
6
Citations
(Scopus)