|
Search the dblp DataBase
Yoshihiko Kakutani:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yoshihiko Kakutani
Duality between Call-by-Name Recursion and Call-by-Value Iteration. [Citation Graph (0, 0)][DBLP] CSL, 2002, pp:506-521 [Conf]
- Masahito Hasegawa, Yoshihiko Kakutani
Axioms for Recursion in Call-by-Value. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2001, pp:246-260 [Conf]
- Yoshihiko Kakutani, Masahito Hasegawa
Parameterizations and Fixed-Point Operators on Control Categories. [Citation Graph (0, 0)][DBLP] TLCA, 2003, pp:180-194 [Conf]
- Yoshihiko Kakutani, Masahito Hasegawa
Parameterizations and Fixed-Point Operators on Control Categories. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:65, n:1-2, pp:153-172 [Journal]
- Masahito Hasegawa, Yoshihiko Kakutani
Axioms for Recursion in Call-by-Value. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2002, v:15, n:2-3, pp:235-264 [Journal]
Call-by-Name and Call-by-Value in Normal Modal Logic. [Citation Graph (, )][DBLP]
Classical Natural Deduction for S4 Modal Logic. [Citation Graph (, )][DBLP]
A Logic for Formal Verification of Quantum Programs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|