bob_coecke
No user record in our sample, but bob_coecke has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but bob_coecke has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
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 the extra structures of ZX had started)
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 for them and they heavily employ…
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 in quantum tech. The most known one is…