Linear Logic on Kengo Hiratahttps://kengohirata.github.io/khirata/tags/linear-logic/Recent content in Linear Logic on Kengo HirataHugoen-usFri, 17 Jul 2026 00:00:00 +0000Causality in Pure Quantum Computation with Quantum Controlhttps://kengohirata.github.io/khirata/post/qif_lambda/Fri, 17 Jul 2026 00:00:00 +0000https://kengohirata.github.io/khirata/post/qif_lambda/LICS 2026Full Definability in a Profunctorial Modelhttps://kengohirata.github.io/khirata/post/prof-full-dec/Wed, 29 Apr 2026 00:00:00 +0000https://kengohirata.github.io/khirata/post/prof-full-dec/arXiv preprintStable Profunctors and Matrix Representationhttps://kengohirata.github.io/khirata/post/fscd26_matrix/Mon, 01 Jan 0001 00:00:00 +0000https://kengohirata.github.io/khirata/post/fscd26_matrix/FSCD 2026