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 Política de Privacidade | Terms of Service