Domain theory and differential calculus (functions of one variable (0)

by A Edalat, A Lieutier
Venue:Math. Structures Comput. Sci