research
∙
09/21/2023
Semantics for a Turing-complete Reversible Programming Language with Inductive Types
This paper is concerned with the expressivity and denotational semantics...
share
research
∙
07/19/2022
Central Submonads and Notions of Computation
The notion of "centre" has been introduced for many algebraic structures...
research
∙
09/13/2021
