Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Pavlovic, Dusko
2023.
Programs as Diagrams.
p.
1.
Dunn, Lawrence
Tannen, Val
and
Zdancewic, Steve
2023.
Syntax Monads for the Working Formal Metatheorist.
Electronic Proceedings in Theoretical Computer Science,
Vol. 397,
Issue. ,
p.
98.
Watanabe, Kazuki
van der Vegt, Marck
Hasuo, Ichiro
Rot, Jurriaan
and
Junges, Sebastian
2024.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 14571,
Issue. ,
p.
279.
HINZE, RALF
and
MARSDEN, DAN
2025.
The graphical theory of monads.
Journal of Functional Programming,
Vol. 35,
Issue. ,
MOTA, JÚLIA DE ARAÚJO
PAIXÃO, JOÃO A.
and
MARTELOTTE, LUCAS RUFINO
2025.
Point-free calculational proofs and program derivation in linear algebra using a graphical syntax.
Journal of Functional Programming,
Vol. 35,
Issue. ,
Ewen, Tom
Turkalj, Ivica
Holzer, Patrick
and
Wolf, Mark-Oliver
2025.
Application of ZX-calculus to quantum architecture search.
Quantum Machine Intelligence,
Vol. 7,
Issue. 1,