Abstract Datatypes for Real Numbers in Type Theory
暂无分享,去创建一个
[1] Abbas Edalat,et al. A Language for Differentiable Functions , 2013, FoSSaCS.
[2] Hans-J. Boehm. Constructive real interpretation of numerical programs , 1987, PLDI 1987.
[3] E. Wiedmer,et al. Computing with Infinite Objects , 1980, Theor. Comput. Sci..
[4] Martín Hötzel Escardó,et al. PCF Extended with Real Numbers , 1996, Theor. Comput. Sci..
[5] Hugo Herbelin,et al. The Coq proof assistant : reference manual, version 6.1 , 1997 .
[6] Pietro Di Gianantonio. A Functional Approach to Computability on Real Numbers , 2005 .
[7] L. E. J. Brouwer,et al. Besitzt jede reelle Zahl eine Dezimalbruchentwicklung? , 1921 .
[8] Anne Sjerp Troelstra,et al. Some models for intuitionistic finite type arithmetic with fan functional , 1977, Journal of Symbolic Logic.
[9] Klaus Weihrauch,et al. Computable Analysis , 2005, CiE.
[10] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[11] Abbas Edalat,et al. Integration in Real PCF , 2000, Inf. Comput..
[12] Christine Paulin-Mohring,et al. The coq proof assistant reference manual , 2000 .
[13] Robert Cartwright,et al. Exact real arithmetic formulating real numbers as functions , 1990 .
[14] R. Gorenflo,et al. Multi-index Mittag-Leffler Functions , 2014 .
[15] Ulrich Kohlenbach,et al. Applied Proof Theory - Proof Interpretations and their Use in Mathematics , 2008, Springer Monographs in Mathematics.
[16] Luís Soares Barbosa,et al. Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures , 2009, LerNet ALFA Summer School.
[17] Peter Dybjer,et al. Dependent Types at Work , 2009, LerNet ALFA Summer School.
[18] Andrej Bauer,et al. Comparing Functional Paradigms for Exact Real-Number Computation , 2002, ICALP.
[19] Martín Hötzel Escardó,et al. A universal characterization of the closed Euclidean interval , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[20] Pietro Di Gianantonio. Real Number Computability and Domain Theory , 1996, Inf. Comput..