Kengo Hirata

Kengo Hirata kengohirata

Ph.D. student

Organizations

category theory linear logic programming languages quantum separation logic type systems

Causality in Pure Quantum Computation with Quantum Control
K. Hirata , T. Tsukada
LICS 2026
Programming Languages Quantum Type Systems Linear Logic Category Theory Published Fri, 17 Jul 2026 00:00:01 +0000
Stable Profunctors and Matrix Representation
T. Tsukada , K. Asada , K. Hirata
FSCD 2026
Linear Logic Category Theory Published Fri, 17 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
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Y. Matsushita , K. Hirata , R. Wakizaka , E. D'Osualdo
POPL 2026
Programming Languages Quantum Separation Logic Published Thu, 15 Jan 2026 00:00:00 +0000
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
K. Hirata , C. Heunen
POPL 2025
Programming Languages Quantum Type Systems Published Wed, 15 Jan 2025 00:00:00 +0000
Generalization of formal monad theory to lax functors
K. Hirata
arXiv preprint
Category Theory Published Mon, 16 Jan 2023 00:00:00 +0000
Notes on Lax Ends
K. Hirata
arXiv preprint
Category Theory Published Tue, 04 Oct 2022 00:00:00 +0000