No−Go Theorems for Distributive Laws
Maaike Zwart and Dan Marsden
Book Title
34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019
ISBN
978−1−7281−3608−0
Pages
1–13
Publisher
IEEE
Year
2019
Maaike Zwart and Dan Marsden