3 papers
cs.LO2026
Coinductive reasoning for parametrized functors and monads
Ugo Dal Lago, Zeinab Galal
Lax extensions (also called relators or relation liftings) are a categorical notion to reason about functors acting on functions and relations in a compatible way. They play a cent…
cs.PL2024
On Computational Indistinguishability and Logical Relations
Ugo Dal Lago, Zeinab Galal, Giulia Giusti
A -calculus is introduced in which all programs can be evaluated in probabilistic polynomial time and in which there is sufficient structure to represent sequential cryptographi…
math.CT2024
Combining fixpoint and differentiation theory
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…