Cheap Non-Standard Analysis and Computability: Some Applications | IEEE Conference Publication | IEEE Xplore