Stabilized profunctors and stable species of structures

Marcelo Fiore, Zeinab Galal, Hugo Paquet. Stabilized profunctors and stable species of structures. Logical Methods in Computer Science, 20(1), 2024. [doi]

Abstract

Abstract is missing.