Joost Winter. Product Rules and Distributive Laws. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.114-135, 2016, Coalgebraic M
HAL Archives-Ouvertes,
hal-01446036, version 1 Abstract : We give a categorical perspective on various product rules, including Brzozowski’s product…