Algeo: An Algebraic Approach to Reversibility. - Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen (RC, 2022)

Combinatory Adjoints and Differentiation. - Martin Elsman; Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen; Robert Schenck 001 (MSFP@ETAPS, 2022)

The Programming of Algebra. - Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen (MSFP@ETAPS, 2022)

Finitary Relational Calculus. - Fritz Henglein; Mikkel Kragh Mathiesen; Mads Rehof (DBPL, 2025)