John Power Edinburgh, January 1995 (2007)
January Comments Are, John Power
control structures do not have an explicit set of names, and they fit more naturally into the usual use of category theory in computer science, particularly in denotational semantics. Here, we go one...