| |
| 2007 | ||
|---|---|---|
| 6 | EE | Yoshihiko Kakutani: Call-by-Name and Call-by-Value in Normal Modal Logic. APLAS 2007: 399-414 |
| 2005 | ||
| 5 | EE | Yoshihiko Kakutani, Masahito Hasegawa: Parameterizations and Fixed-Point Operators on Control Categories. Fundam. Inform. 65(1-2): 153-172 (2005) |
| 2003 | ||
| 4 | EE | Yoshihiko Kakutani, Masahito Hasegawa: Parameterizations and Fixed-Point Operators on Control Categories. TLCA 2003: 180-194 |
| 2002 | ||
| 3 | EE | Yoshihiko Kakutani: Duality between Call-by-Name Recursion and Call-by-Value Iteration. CSL 2002: 506-521 |
| 2 | Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. Higher-Order and Symbolic Computation 15(2-3): 235-264 (2002) | |
| 2001 | ||
| 1 | EE | Masahito Hasegawa, Yoshihiko Kakutani: Axioms for Recursion in Call-by-Value. FoSSaCS 2001: 246-260 |
| 1 | Masahito Hasegawa | [1] [2] [4] [5] |