A Language for Differentiable Functions
From MaRDI portal
Publication:4910429
DOI10.1007/978-3-642-37075-5_22zbMath1260.68073OpenAlexW82089581MaRDI QIDQ4910429
Pietro Di Gianantonio, Abbas Edalat
Publication date: 18 March 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_22
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Numerical differentiation (65D25)
Related Items (4)
On the Versatility of Open Logical Relations ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks ⋮ Polynomial time over the reals with parsimony
Uses Software
This page was built for publication: A Language for Differentiable Functions
