On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem.

Gilles Barthe, Raphalle Crubill, Ugo Dal Lago, Francesco Gavazzo

Browse the full ESOP paper archive.