Travelled to:
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:
M.Hasegawa ∅
Talks about:
call (3) recurs (2) valu (2) parameter (1) categori (1) dualiti (1) control (1) between (1) point (1) axiom (1)
Person: Yoshihiko Kakutani
DBLP: Kakutani:Yoshihiko
Contributed to:
Wrote 3 papers:
- TLCA-2003-KakutaniH #category theory #fixpoint
- Parameterizations and Fixed-Point Operators on Control Categories (YK, MH), pp. 180–194.
- CSL-2002-Kakutani #call-by #recursion
- Duality between Call-by-Name Recursion and Call-by-Value Iteration (YK), pp. 506–521.
- FoSSaCS-2001-HasegawaK #axiom #call-by #recursion
- Axioms for Recursion in Call-by-Value (MH, YK), pp. 246–260.