2026

  • Yusuke Matsushita , Kengo Hirata , Ryo Wakizaka and Emanuele D'Osualdo. RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing.
    Proc. POPL 2026. [doi]

  • Yuto Kawase. Double Categories of Profunctors.
    Appl. Categ. Structures (2026) 34:33. [doi]

  • Yuto Kawase. Relativized universal algebra via partial Horn logic.
    Theory and Applications of Categories, Vol. 45, 2026, No. 18, pp 660-716. [url]

  • Ryota Kojima and Corina Cirstea. Coalgebraic Semantics for Two-agent ATL and its Meta-level Model-checking Complexity.
    Proc. CMCS 2026. [doi]

  • Pedro H. Azevedo de Amorim, Mayuko Kori, and Koko Muroya. A Framework for Coalgebraic Reward-Sensitive Bisimulation.
    Proc. CMCS 2026. [doi]

  • Mayuko Kori and Kazuki Watanabe. A No-go Theorem for Coalgebraic Product Construction.
    Proc. FoSSaCS 2026. [doi]

2025

  • Zeinab Galal, Francesco Gavazzo, Riccardo Treglia and Gabriele Vanoni. Monadic Intersection Types, Relationally, and Ordered.
    ACM Trans. Program. Lang. Syst. 47(4): 20:1-20:51 (2025) [doi]

  • Kengo Hirata and Chris Heunen. Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime.
    Proc. POPL 2025. [doi]

  • Soichiro Fujii, Keisuke Hoshino and Yuki Maehara. ω-weak equivalences between weak ω-categories .
    Adv. Math. 480 (2025), Paper No. 110490. [doi]

  • Yuto Kawase. Filtered colimit elimination from Birkhoff's variety theorem.
    J. Pure Appl. Algebra (2025) 229(1). [doi]

  • Ryota Kojima and Corina Cîrstea. Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics.
    Proc. MFPS 2025. [doi]

  • Mayuko Kori, Kazuki Watanabe and Jurriaan Rot. Initial Algebra Correspondence under Reachability Conditions.
    Proc. LICS 2025. [doi]

  • Hayato Nasu and Keisuke Hoshino. Double categories of relations relative to factorisation systems.
    Appl. Categ. Structures 33.2 (2025), Paper No. 11, 70. [doi]

2024

  • Masahito Hasegawa and Serge Lechenne. Braids, Twists, Trace and Duality in Combinatory Algebras.
    Proc. LICS 2024. [doi]

  • Soichiro Fujii, Keisuke Hoshino and Yuki Maehara. Weakly Invertible cells in a weak ω-category.
    High. Struct. 8.2 (2024), pp. 386-415. [doi]

  • Ryota Kojima, Corina Cîrstea, Koko Muroya and Ichiro Hasuo. Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.
    Proc. CMCS 2024. [doi]

  • Satoshi Nakata. Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic.
    Proc. CSL 2024. [doi]

  • Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya and Ichiro Hasuo. Explicit Hopcroft's Trick in Categorical Partition Refinement.
    Proc. CMCS 2024. [doi]

Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.