Viewing profile — bob_coecke

That's very true indeed, and for photonic QCs ZX has become vital for all software.

Not really, interaction nets and linear logic don't have the compact closed categorical semantics we use here. Ros Duncan's PhD is about the differences. (and that was long before …

There are many quantum computers around, IBM and Google's supper conducting ones, our ion traps, optical ones by e.g. Quandela, and they are all heavily used. There exist compilers…

Within the applied category realm where seven sketches lives, there are low-level concrete industrial applications that are becoming increasingly dominant with key industry players…