Peter Selinger Categorical Semantics of Control. 6-7 2001 conf/tlca/2001 TLCA https://doi.org/10.1007/3-540-45413-6_4 db/conf/tlca/tlca2001.html#Selinger01