Kengo Hirata
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Logic×1Quantum Physics×1
Frequent co-authors
Research Timeline
2026
Causality in Pure Quantum Computation with Quantum Control
This paper proposes a typed lambda calculus with quantum control and its categorical semantics to study causality issues in quantum computation, extending pure quantum computation with higher-order functions and quantum conditional branching, and enforcing causality with a type system based on intuitionistic BV logic.
Highlighted terms show continued research focus across papers