%0 Journal Article %1 journals/mscs/SpittersGNW07 %A Spitters, Bas %A Geuvers, Herman %A Niqui, Milad %A Wiedijk, Freek %D 2007 %J Math. Struct. Comput. Sci. %K dblp %N 1 %P 1 %T Preface to the special issue: Constructive analysis, types and exact real numbers. %U http://dblp.uni-trier.de/db/journals/mscs/mscs17.html#SpittersGNW07 %V 17

@article{journals/mscs/SpittersGNW07, added-at = {2020-04-01T00:00:00.000+0200}, author = {Spitters, Bas and Geuvers, Herman and Niqui, Milad and Wiedijk, Freek}, biburl = {https://www.bibsonomy.org/bibtex/2ab26bd00d99c50ee1291450951467a9c/dblp}, ee = {https://doi.org/10.1017/S0960129506005846}, interhash = {b55be281c24fb6687adda6d5c3d7219a}, intrahash = {ab26bd00d99c50ee1291450951467a9c}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 1, pages = 1, timestamp = {2020-04-02T11:40:29.000+0200}, title = {Preface to the special issue: Constructive analysis, types and exact real numbers.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs17.html#SpittersGNW07}, volume = 17, year = 2007 }