Skip to main content

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