Presenting distributive laws

MM Bonsangue, HH Hansen, A Kurz, J Rot

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	1-22
Number of pages	22
Journal	Logical Methods in Computer Science
Volume	11
Issue number	3
Publication status	Published - 2015

Cite this

@article{c897ee62ec184d1885e8a44a0cca1131,

title = "Presenting distributive laws",

author = "MM Bonsangue and HH Hansen and A Kurz and J Rot",

year = "2015",

language = "English",

volume = "11",

pages = "1--22",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "3",

}

TY - JOUR

T1 - Presenting distributive laws

AU - Bonsangue, MM

AU - Hansen, HH

AU - Kurz, A

AU - Rot, J

PY - 2015

Y1 - 2015

UR - http://www.lmcs-online.org/ojs/viewarticle.php?id=1574&layout=abstract

UR - http://resolver.tudelft.nl/uuid:1b5fd112-2240-4a63-9194-91a3e4eef535

M3 - Article

SN - 1860-5974

VL - 11

SP - 1

EP - 22

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 3

ER -