Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yoshihiko Kakutani
Map detail
Yoshihiko Kakutani4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipYoshihiko KakutaniAYoshihiko KakutaniResearcherInduction by Coinduction and Control Operators in Call-by-NameWInduction by Coinductio...preprint / 2013Calculi for Intuitionistic Normal Modal LogicWCalculi for Intuitionis...preprint / 2016Observational Equivalence Using Schedulers for Quantum ProcessesWObservational Equivalen...preprint / 2014
Person3 links

Yoshihiko Kakutani

Researcher