Sciweavers

MSCS
2007

Constructive analysis, types and exact real numbers

13 years 11 months ago
Constructive analysis, types and exact real numbers
Herman Geuvers, Milad Niqui, Bas Spitters, Freek W
Added 27 Dec 2010
Updated 27 Dec 2010
Type Journal
Year 2007
Where MSCS
Authors Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk
Comments (0)