8 citations · 25 across the 12 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 2 cited
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…
cs.LO2019★ 2 cited
Signatures and models for syntax and operational semantics in the presence of variable binding
Ambroise Lafont
This thesis deals with the specification and construction of syntax and operational semantics of a programming language. We work with a general notion of signature for specifying o…
cs.LO2019★ 2 cited
Modular specification of monads through higher-order presentations
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont +1
In their work on second-order equational logic, Fiore and Hur have studied presentations of simply typed languages by generating binding constructions and equations among them. To…