Edit Profile (opens in new tab) Nakano, Hiroshi Compute Distance To: Compute Author ID: nakano.hiroshi Published as: Nakano, Hiroshi Documents Indexed: 10 Publications since 1994 Co-Authors: 10 Co-Authors with 5 Joint Publications 129 Co-Co-Authors all top 5 Co-Authors 3 single-authored 3 Tatsuta, Makoto 2 Kameyama, Yukiyoshi 2 Nakazawa, Koji 1 Fujita, Ken-etsu 1 Hasegawa, Ryu 1 Hayashi, Susumu 1 Ishikawa, Masakazu 1 Kobayashi, Satoshi 1 Nakazaki, Syuichi 1 Nakazato, Hiroshi Serials 2 Annals of Pure and Applied Logic 1 Theoretical Computer Science 1 Graphs and Combinatorics 1 RIMS Kokyuroku 1 International Mathematical Forum all top 5 Fields 5 Mathematical logic and foundations (03-XX) 4 Computer science (68-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) 1 Astronomy and astrophysics (85-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 11 times in 11 Documents Cited by ▼ Year ▼ Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 5 2008 Fixed-point logic with the approximation modality and its Kripke completeness. Zbl 1087.68546Nakano, Hiroshi 2 2001 A constructive logic behind the catch and throw mechanism. Zbl 0815.03019Nakano, Hiroshi 2 1994 Inhabitation of polymorphic and existential types. Zbl 1225.03034Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi 2 2010 Inhabitation of polymorphic and existential types. Zbl 1225.03034Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi 2 2010 Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 5 2008 Fixed-point logic with the approximation modality and its Kripke completeness. Zbl 1087.68546Nakano, Hiroshi 2 2001 A constructive logic behind the catch and throw mechanism. Zbl 0815.03019Nakano, Hiroshi 2 1994 all cited Publications top 5 cited Publications all top 5 Cited by 16 Authors 5 Fujita, Ken-etsu 3 Schubert, Aleksy 2 Kameyama, Yukiyoshi 2 Litak, Tadeusz 2 Nakano, Hiroshi 2 Tatsuta, Makoto 1 Bickford, Mark 1 Brown, Chad Edward 1 Hasegawa, Ryu 1 Nakazawa, Koji 1 Polzer, Miriam 1 Rabenstein, Ulrich 1 Rahli, Vincent 1 Rizkallah, Christine 1 Sato, Masahiko 1 Visser, Albert all top 5 Cited in 6 Serials 4 Theoretical Computer Science 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Indagationes Mathematicae. New Series Cited in 2 Fields 9 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) Citations by Year