(just started this list)
Logic Enriched over a Quantale, invited talk at CALCO, June 2025.
Canonical Extensions of Quantale-Enriched Categories, TACL, July 2024.
Smart Contracts, Sep2022.
Dualities from Double Categories of Relations, Aug 2022.
Coalgebras over Lawvere Metric Spaces, Feb 2022.
The Landscape of Coalgebraic Logic, Jan 2022.