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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Barthe, Gilles; Crubillé, Raphaëlle; Lago, Ugo Dal; Gavazzo, Francesco

Journal title: European Symposium on Programming

Journal number: 2 29th (ETAPS 2020)

Journal publisher: Springer

Published year: 2020

DOI identifier: 10.1007/978-3-030-44914-8\_3