MaRDI QIDQ5028467
Dan Marsden, Maaike Zwart
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2003.12531
zbMATH Keywords
compositionality; monads; distributive laws; no-go theorems
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science