Absolute continuity and the uniqueness of the constructive functional calculus (1995)

by Douglas Bridges, Hajime Ishihara
Venue:Math. Logic Quarterly