The ZX calculus is a language for surface code lattice surgery.
Niel de BeaudrapDominic HorsmanPublished in: CoRR (2017)
Keyphrases
- formal language
- algebraic structure
- relational calculus
- programming language
- natural language
- database query languages
- computer assisted
- three dimensional
- language learning
- expressive power
- surface reconstruction
- intraoperative
- lattice structure
- type checking
- d objects
- range data
- modeling language
- image guided
- source code
- closure operator