Presenting Distributive Laws
- Author(s):
- Bonsangue, M.M. (0000-0003-3746-3618); Hansen, H.H.; Kurz, A.; Rot, J.C.
- Published
- 2015
- Publication type
- Article / Letter to editor
- Date issued
- 2015
- Language
- English
- Is part of
- Logical Methods in Computer Science (2015), Vol. 11, no. 3:2, pt. 11, p. 1-23
- Edition
- 3
- hdl
- 1887/56013
- doi
- 10.2168/LMCS-11(3:2)2015
- URL
- https://arxiv.org/abs/1503.02447
