Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Kakutani, Yoshihiko"'
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of modality as hom
Externí odkaz:
http://arxiv.org/abs/1804.02809
Autor:
Kakutani, Yoshihiko
This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box fragment of the intuitionistic modal logic IK. The strong normalizability and the confluency of the calculi are shown. M
Externí odkaz:
http://arxiv.org/abs/1606.03180
Publikováno v:
EPTCS 172, 2014, pp. 191-203
In the study of quantum process algebras, researchers have introduced different notions of equivalence between quantum processes like bisimulation or barbed congruence. However, there are intuitively equivalent quantum processes that these notions do
Externí odkaz:
http://arxiv.org/abs/1412.8546
Autor:
Kakutani, Yoshihiko
Kyoto University (京都大学)
0048
甲第10412号
理博第2703号
新制||理||1381(附属図書館)
UT51-2003-N903
学位規則第4条第1項該当
0048
甲第10412号
理博第2703号
新制||理||1381(附属図書館)
UT51-2003-N903
学位規則第4条第1項該当
Externí odkaz:
http://hdl.handle.net/2433/148592
Autor:
Kakutani, Yoshihiko, Kimura, Daisuke
Publikováno v:
EPTCS 127, 2013, pp. 101-112
This paper studies emulation of induction by coinduction in a call-by-name language with control operators. Since it is known that call-by-name programming languages with control operators cannot have general initial algebras, interaction of inductio
Externí odkaz:
http://arxiv.org/abs/1309.1258
Autor:
Kimura, Daisuke1 kmr@nii.ac.jp, Kakutani, Yoshihiko2 kakutani@is.s.u-tokyo.ac.jp
Publikováno v:
New Generation Computing. Jan2011, Vol. 29 Issue 1, p61-86. 26p.
Autor:
Kakutani, Yoshihiko1 kakutani@is.s.u-tokyo.ac.jp, Hasegawa, Masahito2 hassei@kurims.kyoto-u.ac.jp
Publikováno v:
Fundamenta Informaticae. 2005, Vol. 65 Issue 1-2, p153-172. 20p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kakutani, Yoshihiko
Publikováno v:
Advances in Computer Science - Asian 2009. Information Security & Privacy; 2009, p79-93, 15p