Kengo Hirata

Kengo Hirata kengohirata

Ph.D. student

Organizations

4 results for Linear Logic

Programming with Quantum-Controlled Quantum Channels
K. Hirata , T. Tsukada
arXiv preprint
Quantum Programming Languages Linear Logic Published Fri, 17 Jul 2026 00:00:00 +0000
Stablized Profunctors and Matrix Representation
T. Tsukada , K. Asada , K. Hirata
FSCD 2026
Linear Logic Category Theory Published Wed, 15 Jul 2026 00:00:00 +0000
Causality in Pure Quantum Computation with Quantum Control
K. Hirata , T. Tsukada
LICS 2026
Programming Languages Quantum Type Systems Linear Logic Category Theory Published Tue, 07 Jul 2026 00:00:00 +0000
Full Definability in a Profunctorial Model
T. Tsukada , K. Asada , K. Hirata
arXiv preprint
Linear Logic Category Theory Published Wed, 29 Apr 2026 00:00:00 +0000