Cartesian Closed Categories of Algebraic CPOs.

Published in: Theor. Comput. Sci. (1990)

Keyphrases

web services
image sequences
higher order
queueing networks
polar coordinates
closed world
algebraic expressions
log polar mapping