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

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo. On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. In Peter Müller 0001, editor, 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 of Lecture Notes in Computer Science, pages 56-83, Springer, 2020. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Raphaëlle Crubillé' in GoogleThis author has not been identified. Look up 'Ugo Dal Lago' in GoogleThis author has not been identified. Look up 'Francesco Gavazzo' in Google

runs on WebDSL