ACM SIGPLAN - [WQS24] From ZX to first order logic: a survey of string diagrammatic calculi
Sign in to continue reading, translating and more.
