Duality between Call-by-Name Recursion and Call-by-Value Iteration. - Yoshihiko Kakutani (CSL, 2002)

Axioms for Recursion in Call-by-Value. - Masahito Hasegawa; Yoshihiko Kakutani (High. Order Symb. Comput., 2002)

Parameterizations and Fixed-Point Operators on Control Categories. - Yoshihiko Kakutani; Masahito Hasegawa (Fundam. Informaticae, 2005)

Call-by-Name and Call-by-Value in Normal Modal Logic. - Yoshihiko Kakutani (APLAS, 2007)

A Logic for Formal Verification of Quantum Programs. - Yoshihiko Kakutani (ASIAN, 2009)

A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano (UC, 2011)

Classical Natural Deduction for S4 Modal Logic. - Daisuke Kimura; Yoshihiko Kakutani (New Gener. Comput., 2011)

Automated Verification of Equivalence on Quantum Cryptographic Protocols. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano; Hideki Sakurada (SCSS, 2013)

Induction by Coinduction and Control Operators in Call-by-Name. - Yoshihiko Kakutani; Daisuke Kimura (COS, 2013)

Observational Equivalence Using Schedulers for Quantum Processes. - Kazuya Yasuda; Takahiro Kubota; Yoshihiko Kakutani (QPL, 2014)

Calculi for Intuitionistic Normal Modal Logic. - Yoshihiko Kakutani (CoRR, 2016)

Semi-automated verification of security proofs of quantum cryptographic protocols. - Takahiro Kubota; Yoshihiko Kakutani; Go Kato; Yasuhito Kawano; Hideki Sakurada (J. Symb. Comput., 2016)

Modality via Iterated Enrichment. - Yuichi Nishiwaki; Yoshihiko Kakutani; Yuito Murase (MFPS, 2018)

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic. - Yoshihiko Kakutani; Yuito Murase; Yuichi Nishiwaki (J. Inf. Process., 2019)

A Categorical Foundation of Rough Sets. - Yoshihiko Kakutani (CoRR, 2025)