Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
JAX Autodiff from a Linear Logic Perspective (Extended Version)
Giulia Giusti, Michele Pagani
Autodiff refers to the core of the automatic differentiation systems developed in projects like JAX and Dex. Autodiff has recently been formalised in a linear typed calculus by Rad…
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 cryptograph…