Cartesian closed categories of algebraic CPO’s (1990)

by A Jung
Venue:Theoretical Computer Science