14 Feb
1998
14 Feb
'98
6:30 p.m.
There is some work by Paul Taylor on categorical models of while in Theory and Formal Methods 1993, Springer Workshops in Computing, p302 on. Roy Crole