Rapha?Lle Crubill?
AuthID: R-00K-HHX
1
TITLE: On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12075
AUTHORS: Gilles Barthe ; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo;
PUBLISHED: 2020, SOURCE: Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, VOLUME: 12075
INDEXED IN: 
DBLP
DBLP