Modules over relative monads for syntax and semantics

DOI10.1017/S0960129514000103zbMath1361.68034arXiv1107.5252MaRDI QIDQ5741555

Benedikt Ahrens

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

• Coq

Cites Work

• Unnamed Item
• Nominal logic, a first order theory of names and binding
• Monads Need Not Be Endofunctors
• Modules over Monads and Linearity
• Equational Systems and Free Constructions (Extended Abstract)

This page was built for publication: Modules over relative monads for syntax and semantics