Constructive analysis, types and exact real numbers. Geuvers, H., Niqui, M., Spitters, B., & Wiedijk, F. Mathematical Structures in Computer Science, 17(1):3–36, 2007. Pdf bibtex @article{freek2007a,
Author = {Herman Geuvers and M. Niqui and Bas Spitters and Freek Wiedijk},
Date-Added = {2014-11-16 22:08:41 +0000},
Date-Modified = {2014-11-16 22:11:04 +0000},
Journal = {Mathematical Structures in Computer Science},
Number = {1},
Pages = {3--36},
Title = {Constructive analysis, types and exact real numbers},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/editorial.pdf},
Volume = {17},
Year = {2007}}
Downloads: 0
{"_id":"rcSuJrRDeA35WRCif","authorIDs":[],"author_short":["Geuvers, H.","Niqui, M.","Spitters, B.","Wiedijk, F."],"bibbaseid":"geuvers-niqui-spitters-wiedijk-constructiveanalysistypesandexactrealnumbers-2007","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Herman"],"propositions":[],"lastnames":["Geuvers"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Niqui"],"suffixes":[]},{"firstnames":["Bas"],"propositions":[],"lastnames":["Spitters"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 22:08:41 +0000","date-modified":"2014-11-16 22:11:04 +0000","journal":"Mathematical Structures in Computer Science","number":"1","pages":"3–36","title":"Constructive analysis, types and exact real numbers","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/editorial.pdf","volume":"17","year":"2007","bibtex":"@article{freek2007a,\n\tAuthor = {Herman Geuvers and M. Niqui and Bas Spitters and Freek Wiedijk},\n\tDate-Added = {2014-11-16 22:08:41 +0000},\n\tDate-Modified = {2014-11-16 22:11:04 +0000},\n\tJournal = {Mathematical Structures in Computer Science},\n\tNumber = {1},\n\tPages = {3--36},\n\tTitle = {Constructive analysis, types and exact real numbers},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/editorial.pdf},\n\tVolume = {17},\n\tYear = {2007}}\n\n","author_short":["Geuvers, H.","Niqui, M.","Spitters, B.","Wiedijk, F."],"key":"freek2007a","id":"freek2007a","bibbaseid":"geuvers-niqui-spitters-wiedijk-constructiveanalysistypesandexactrealnumbers-2007","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/editorial.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","creationDate":"2014-11-16T23:25:53.903Z","downloads":0,"keywords":[],"search_terms":["constructive","analysis","types","exact","real","numbers","geuvers","niqui","spitters","wiedijk"],"title":"Constructive analysis, types and exact real numbers","year":2007,"dataSources":["t7rKiAbxugj4Agz8M","dCR2SmaT7gnYejraT"]}