Yoshihiko Kakutani
Author
Alternate name Yoshihiko Kakutani
Institution The University of Tokyo
Past institutions The University of Tokyo, Tokyo University of Science, Tokyo University of Information Sciences, National Institute of Informatics, Kyoto University
H-index: 6
I10-index: 6
Works count: 19
Citations count: 139
A Logic for Formal Verification of Quantum Programs
2009 · Yoshihiko Kakutani · Lecture notes in computer science
Duality between Call-by-Name Recursion and Call-by-Value Iteration
2002 · Yoshihiko Kakutani · Lecture notes in computer science
Untitled
2002 · Masahito Hasegawa, Yoshihiko Kakutani · Higher-Order and Symbolic Computation