Yoshihiko Kakutani

Identifiers

• name variant Yoshihiko Kakutani 0.60 · backfill

Papers (3)

1. Modality via Iterated Enrichment cs.LO · 2018 · author #2
2. Calculi for Intuitionistic Normal Modal Logic cs.LO · 2016 · author #1
3. Induction by Coinduction and Control Operators in Call-by-Name cs.LO · 2013 · author #1

Mentions

• 1309.1258 #1 · backfill · confidence 0.70 Yoshihiko Kakutani

Frequent Coauthors

• Daisuke Kimura 1 shared papers
• Yuichi Nishiwaki 1 shared papers
• Yuito Murase 1 shared papers