research
∙
07/31/2023
Canonical Gradings of Monads
We define a notion of grading of a monoid T in a monoidal category C, re...
share
research
∙
07/02/2022
What Makes a Strong Monad?
Strong monads are important for several applications, in particular, in ...
research
∙
02/16/2022
Galois connecting call-by-value and call-by-name
We establish a general framework for reasoning about the relationship be...
research
∙
05/03/2021
Abstract clones for abstract syntax
We give a formal treatment of simple type theories, such as the simply-t...
research
∙
04/10/2018
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
Type-and-effect systems incorporate information about the computational ...
research
∙
07/20/2017