On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
AuthID
P-00X-T12
P-00X-T12
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service