{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:34:52Z","timestamp":1759638892079,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370748"},{"type":"electronic","value":"9783642370755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37075-5_22","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:23Z","timestamp":1361216243000},"page":"337-352","source":"Crossref","is-referenced-by-count":9,"title":["A Language for Differentiable Functions"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Di Gianantonio","sequence":"first","affiliation":[]},{"given":"Abbas","family":"Edalat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Springer (1985)","DOI":"10.1007\/978-3-642-61667-9"},{"key":"22_CR2","unstructured":"Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley (1983)"},{"key":"22_CR3","unstructured":"Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw Hill (1955)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Davis, T.A., Sigmon, K.: MATLAB Primer, 7th edn. CRC Press (2005)","DOI":"10.1201\/9781420034950"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0304-3975(99)00036-5","volume":"221","author":"P. Gianantonio Di","year":"1999","unstructured":"Di Gianantonio, P.: An abstract data type for real numbers. Theoretical Computer Science\u00a0221, 295\u2013326 (1999)","journal-title":"Theoretical Computer Science"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Edalat, A.: A continuous derivative for real-valued functions. In: New Computational Paradigms, Changing Conceptions of What is Computable, pp. 493\u2013519. Springer (2008)","DOI":"10.1007\/978-0-387-68546-5_19"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1006\/inco.1999.2844","volume":"160","author":"A. Edalat","year":"2000","unstructured":"Edalat, A., Escard\u00f3, M.: Integration in real PCF. Information and Computation\u00a0160, 128\u2013166 (2000)","journal-title":"Information and Computation"},{"issue":"6","key":"22_CR8","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1017\/S0960129504004359","volume":"14","author":"A. Edalat","year":"2004","unstructured":"Edalat, A., Lieutier, A.: Domain theory and differential calculus (functions of one variable). Mathematical Structures in Computer Science\u00a014(6), 771\u2013802 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.ic.2012.11.006","volume":"224","author":"A. Edalat","year":"2013","unstructured":"Edalat, A., Lieutier, A., Pattinson, D.: A computational model for multi-variable differential calculus. Information and Computation\u00a0224, 22\u201345 (2013)","journal-title":"Information and Computation"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Ehrhard, T., Regnier, L.: The differential lambda-calculus. Theoretical Computer Science\u00a0309 (2003)","DOI":"10.1016\/S0304-3975(03)00392-X"},{"issue":"1","key":"22_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0304-3975(95)00250-2","volume":"162","author":"M. Escard\u00f3","year":"1996","unstructured":"Escard\u00f3, M.: PCF extended with real numbers. Theoretical Computer Science\u00a0162(1), 79\u2013115 (1996)","journal-title":"Theoretical Computer Science"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M., Simpson, A.: A universal characterization of the closed Euclidean interval. In: LICS, pp. 115\u2013125. IEEE Computer Society (2001)","DOI":"10.1109\/LICS.2001.932488"},{"key":"22_CR13","unstructured":"Di Gianantonio, P., Edalat, A.: A language for differentiable functions (extended version), http:\/\/www.dimi.uniud.it\/pietro\/papers\/pcdf.pdf"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, 2nd edn. SIAM (2008)","DOI":"10.1137\/1.9780898717761"},{"key":"22_CR15","unstructured":"http:\/\/www.doc.ic.ac.uk\/exact-computation\/"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Ko, K.: Complexity Theory of Real Numbers. Birkh\u00e4user (1991)","DOI":"10.1007\/978-1-4684-6802-1"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.entcs.2012.08.017","volume":"286","author":"O. Manzyuk","year":"2012","unstructured":"Manzyuk, O.: A simply typed -calculus of forward automatic differentiation. Electr. Notes Theor. Comput. Sci.\u00a0286, 257\u2013272 (2012)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"22_CR18","unstructured":"Mitchell, J.C.: Foundations of Programming Languages. MIT Press (1996)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Potts, P., Edalat, A., Escard\u00f3, M.: Semantics of exact real arithmetic. In: LICS, pp. 248\u2013257 (1997)","DOI":"10.1109\/LICS.1997.614952"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer (1988)","DOI":"10.1007\/978-3-662-21717-7"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Weihrauch, K.: Computable Analysis (An Introduction). Springer (2000)","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:44Z","timestamp":1745962364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37075-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370748","9783642370755"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37075-5_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}