The smash product of monoidal theories
Hadzihasanovic, Amar
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings
2021
/
art. 9470575, 13 p
https://doi.org/10.1109/LICS52264.2021.9470575
https://www.scopus.com/sourceid/25562
https://www.scopus.com/record/display.uri?eid=2-s2.0-85113822334&origin=inward&txGid=680e680370fc87e2e891080b78b3631a
https://www.webofscience.com/wos/woscc/full-record/WOS:000947350400031