4 citations · 16 across the 14 of their papers we have counts for
3 papers · 1 filter
Modules over monads and operational semantics (expanded version)
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the…
Reduction Monads and Their Signatures
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont +1
In this work, we study 'reduction monads', which are essentially the same as monads relative to the free functor from sets into multigraphs. Reduction monads account for two aspect…
Initial Semantics for Strengthened Signatures
André Hirschowitz, Marco Maggesi
We give a new general definition of arity, yielding the companion notions of signature and associated syntax. This setting is modular in the sense requested by Ghani and Uustalu: m…