Combining fixpoint and differentiation theory

DOI10.1145/3661814.3662108MaRDI QIDQ6970240zbMATH OpenFDO

Authors Zeinab Galal, Jean-Simon Pacaud Lemay

Publication date 18 June 2025

zbMATH Keywords

categorical semanticsCartesian differential categoriesfixpoint operators

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Synthetic differential geometry, tangent categories, differential categories (18F40)

This page was built for publication: Combining fixpoint and differentiation theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970240)