@comment{This file has been generated by Pybliographer}

@Proceedings{typesreal,
  Title          = {Constructive analysis, types and exact real numbers, special issue of {M}athematical {S}tructures in {C}omputer {S}cience},
  Editor         = {Bas Spitters and Herman Geuvers and Milad Niqui and Freek
                   Wiedijk},
  volume	=17,
  number	=1,
  year           = 2007
}

@Article{typesreal-article,
  Author         = {Herman Geuvers and Milad Niqui and Bas Spitters and Freek
                   Wiedijk},
  Title          = {Constructive analysis, types and exact real numbers (overview article)},
  Journal        = {Mathematical Structures in Computer Science},
  Volume	= 17,
  number	= 1,
  Pages          = {3--36},
  year           = 2007
}