A modality for recursion H Nakano Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 223 | 2000 |
PX: A Computational Logic. Foundations of Computing S Hayashi, H Nakano MIT Press, Cambridge, MA, 1988 | 205 | 1988 |
Orientation dependence of transport property and microstructural characterization of Al-doped ZnO ceramics H Kaga, Y Kinemuchi, H Yilmaz, K Watari, H Nakano, H Nakano, ... Acta materialia 55 (14), 4753-4757, 2007 | 63 | 2007 |
A constructive formalization of the catch and throw mechanism H Nakano LICS 92, 82-89, 1992 | 28 | 1992 |
Fixed-point logic with the approximation modality and its Kripke completeness H Nakano Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001 | 23 | 2001 |
The non-deterministic catch and throw mechanism and its subject reduction property H Nakano Logic, Language and Computation: Festschrift in Honor of Satoru Takasu, 61-72, 1994 | 23 | 1994 |
Logical structures of the catch and throw mechanism H Nakano PhD. thesis, Tokyo University, 1994 | 23 | 1994 |
A constructive logic behind the catch and throw mechanism H Nakano Annals of pure and applied logic 69 (2-3), 269-301, 1994 | 21 | 1994 |
Undecidability of type-checking in domain-free typed lambda-calculi with existence K Nakazawa, M Tatsuta, Y Kameyama, H Nakano Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual …, 2008 | 17 | 2008 |
Inhabitance of Existential Types is Decidable in Negation-Product Fragment M Tatsuta, K Fujita, R Hasegawa, H Nakano Proceedings of 2nd International Workshop on Classical Logic and Computation …, 2008 | 11 | 2008 |
Inhabitation of polymorphic and existential types M Tatsuta, K Fujita, R Hasegawa, H Nakano Annals of Pure and Applied Logic 161 (11), 1390-1399, 2010 | 5 | 2010 |
Type checking and typability in domain-free lambda calculi K Nakazawa, M Tatsuta, Y Kameyama, H Nakano Theoretical Computer Science 412 (44), 6193-6207, 2011 | 2 | 2011 |
A modal typing system for self-referential programs and specifications H Nakano arXiv preprint arXiv:1703.09907, 2017 | | 2017 |
Two Extensions of PX system. S Hayashi, M Ishikawa, S Kobayashi, H Nakano, S Nakazaki Electron. Notes Theor. Comput. Sci. 3, 88, 1996 | | 1996 |