Yoshihiko Kakutani

According to our database, Yoshihiko Kakutani authored at least 14 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic.

Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki

J. Inf. Process., 2019

2018

Modality via Iterated Enrichment.

Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

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

Calculi for Intuitionistic Normal Modal Logic.

Yoshihiko Kakutani

CoRR, 2016

2014

Observational Equivalence Using Schedulers for Quantum Processes.

Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

2013

Induction by Coinduction and Control Operators in Call-by-Name.

Yoshihiko Kakutani, Daisuke Kimura

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

Automated Verification of Equivalence on Quantum Cryptographic Protocols.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2011

Classical Natural Deduction for S4 Modal Logic.

Daisuke Kimura, Yoshihiko Kakutani

New Gener. Comput., 2011

A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution.

Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano

Proceedings of the Unconventional Computation - 10th International Conference, 2011

2009

A Logic for Formal Verification of Quantum Programs.

Yoshihiko Kakutani

Proceedings of the Advances in Computer Science, 2009

2007

Call-by-Name and Call-by-Value in Normal Modal Logic.

Yoshihiko Kakutani

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2005

Parameterizations and Fixed-Point Operators on Control Categories.

Yoshihiko Kakutani, Masahito Hasegawa

Fundam. Informaticae, 2005

2002

Axioms for Recursion in Call-by-Value.

Masahito Hasegawa, Yoshihiko Kakutani

High. Order Symb. Comput., 2002

Duality between Call-by-Name Recursion and Call-by-Value Iteration.

Yoshihiko Kakutani

Proceedings of the Computer Science Logic, 16th International Workshop, 2002