Modules over relative monads for syntax and semantics
From MaRDI portal
Publication:5741555
DOI10.1017/S0960129514000103zbMath1361.68034arXiv1107.5252MaRDI QIDQ5741555
Publication date: 28 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1107.5252
Related Items (6)
Distributive laws for relative monads ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ High-level signatures and initial semantics
Uses Software
Cites Work
This page was built for publication: Modules over relative monads for syntax and semantics