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

by A Edalat, A Lieutier
Venue:Mathematical Structures in Computer Science 14 (2004), 771