Domain theory and differential calculus (functions of one variable)
DOI10.1017/S0960129504004359zbMath1062.03037MaRDI QIDQ4659539
Publication date: 21 March 2005
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
integrationdifferentiationPicard's theoremdata type for differentiable functionsdata type for solving differential equationsdomain-theoretic framework for differential calculusreal-valued functions of a real variable
Constructive and recursive analysis (03F60) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Constructive real analysis (26E40) Higher-type and set recursion theory (03D65)
Related Items (14)
This page was built for publication: Domain theory and differential calculus (functions of one variable)