1 paper
Zeinab Galal, Jean-Simon Pacaud Lemay
Interactions between derivatives and fixpoints have many important applications in both computer science and mathematics. In this paper, we provide a categorical framework to combi…