No-Go Theorems for Distributive Laws

Zwart, M; Marsden, D

Zwart, M (reprint author), Univ Oxford, Oxford, England.

2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019; ():

Abstract

Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extrem......

Full Text Link