@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}}

{"_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"]}