calculus with explicit points and approximations (0)

by Mads Dam, Dilian Gurov
Venue:Previously appeared in Fixed Points in Computer Science, FICS '02