Neil J. Ross
- Quipper
2013/04/11 by Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross +2 · 1 voice · 11 citations
Computer Science · #Computability, Logic, AI Algorithms #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #cs.ET #cs.PL #quant-ph
- An Introduction to Quantum Programming in Quipper
2013/01/01 by Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross +2 · 4 voices · 2 citations
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #cs.ET #cs.PL #quant-ph
- Proto-Quipper with dynamic lifting
2022/04/27 by Peng Fu, Kohei Kishida, Fu, Peng +5 · 3 citations
Computer Science · #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum\n Computation
2020/01/16 by Andrew N. Glaudell, Neil J. Ross, Glaudell, Andrew N. +3 · 1 citation
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum-Dot Cellular Automata #Quantum Information and Cryptography
- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits
2023/11/13 by Matthew Amy, Amy, Matthew, Andrew N. Glaudell +9 · 2 citations
Chemistry · #Asymmetric Hydrogenation and Catalysis #Catalytic Cross-Coupling Reactions #FOS: Physical sciences #Nanomaterials for catalytic reactions #Quantum Physics (quant-ph)
- Proto-Quipper with Reversing and Control
2024/10/29 by Peng Fu, Kohei Kishida, Fu, Peng +5 · 2 citations
Computer Science · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
- Parameterized Quantum Circuit Semantics Through Enriched Categories
2026/07/17 by Neil J. Ross, Scott Wesley
#quant-ph #cs.LO #math.CT