Edit Profile Kameyama, Yukiyoshi Compute Distance To: Compute Author ID: kameyama.yukiyoshi Published as: Kameyama, Y.; Kameyama, Yukiyoshi Documents Indexed: 24 Publications since 1995, including 1 Book all top 5 Co-Authors 4 single-authored 7 Sato, Masahiko 3 Sakurai, Takafumi 2 Baba, Kensuke 2 Hirokawa, Sachio 2 Kiselyov, Oleg 2 Nakano, Hiroshi 2 Nakazawa, Koji 2 Tatsuta, Makoto 1 Andrade, Jefferson O. 1 Asai, Kenichi 1 Hasegawa, Masahito 1 Igarashi, Atsushi 1 Izumi, Takeuti 1 Kuwahara, Fujio 1 Nakayama, Akira 1 Shan, Chung-chieh 1 Stuckey, Peter James 1 Sudo, Yuto 1 Tanaka, Asami 1 Yamashita, Syuichi 1 Yonezawa, Takuo all top 5 Serials 2 Theoretical Computer Science 2 RIMS Kokyuroku 1 Bulletin of Informatics and Cybernetics 1 International Journal of Foundations of Computer Science 1 Journal of Functional Programming 1 Journal of Porous Media 1 Higher-Order and Symbolic Computation 1 The Journal of Functional and Logic Programming 1 Lecture Notes in Computer Science Fields 19 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Fluid mechanics (76-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 16 Publications have been cited 49 times in 41 Documents Cited by ▼ Year ▼ Polymorphic delimited continuations. Zbl 1137.68344Asai, Kenichi; Kameyama, Yukiyoshi 7 2007 A sound and complete axiomatization of delimited continuations. Zbl 1315.68098Kameyama, Yukiyoshi; Hasegawa, Masahito 7 2003 Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 6 2008 Numerical modeling of turbulent flow in porous media using a spatially periodic array. Zbl 0913.76091Kuwahara, F.; Kameyama, Y.; Yamashita, S.; Nakayama, A. 6 1998 Calculi of meta-variables. Zbl 1116.03321Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi; Igarashi, Atsushi 5 2003 Shifting the stage. Staging with delimited control. Zbl 1248.68132Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh 3 2011 A simply typed context calculus with first-class environments. Zbl 1037.68040Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi 3 2002 Typed dynamic control operators for delimited continuations. Zbl 1137.68346Kameyama, Yukiyoshi; Yonezawa, Takuo 2 2008 A type-theoretic study on partial continuations. Zbl 0998.68033Kameyama, Yukiyoshi 2 2000 A type-free theory of half-monotone inductive definitions. Zbl 0830.68115Kameyama, Yukiyoshi 2 1995 Axioms for control operators in the CPS hierarchy. Zbl 1128.68009Kameyama, Yukiyoshi 1 2007 Axioms for delimited continuations in the CPS hierarchy. Zbl 1095.68024Kameyama, Yukiyoshi 1 2004 Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005Kameyama, Yukiyoshi (ed.); Stuckey, Peter J. (ed.) 1 2004 Strong normalizability of the non-deterministic catch/throw calculi. Zbl 0984.68029Kameyama, Yukiyoshi; Sato, Masahiko 1 2002 A simply typed context calculus with first-class environments. Zbl 0979.03014Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi 1 2001 A classical catch/throw calculus with tag abstractions and its strong normalizability. Zbl 0952.68019Kameyama, Yukiyoshi; Sato, Masahiko 1 1998 Shifting the stage. Staging with delimited control. Zbl 1248.68132Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh 3 2011 Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 6 2008 Typed dynamic control operators for delimited continuations. Zbl 1137.68346Kameyama, Yukiyoshi; Yonezawa, Takuo 2 2008 Polymorphic delimited continuations. Zbl 1137.68344Asai, Kenichi; Kameyama, Yukiyoshi 7 2007 Axioms for control operators in the CPS hierarchy. Zbl 1128.68009Kameyama, Yukiyoshi 1 2007 Axioms for delimited continuations in the CPS hierarchy. Zbl 1095.68024Kameyama, Yukiyoshi 1 2004 Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005Kameyama, Yukiyoshi (ed.); Stuckey, Peter J. (ed.) 1 2004 A sound and complete axiomatization of delimited continuations. Zbl 1315.68098Kameyama, Yukiyoshi; Hasegawa, Masahito 7 2003 Calculi of meta-variables. Zbl 1116.03321Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi; Igarashi, Atsushi 5 2003 A simply typed context calculus with first-class environments. Zbl 1037.68040Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi 3 2002 Strong normalizability of the non-deterministic catch/throw calculi. Zbl 0984.68029Kameyama, Yukiyoshi; Sato, Masahiko 1 2002 A simply typed context calculus with first-class environments. Zbl 0979.03014Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi 1 2001 A type-theoretic study on partial continuations. Zbl 0998.68033Kameyama, Yukiyoshi 2 2000 Numerical modeling of turbulent flow in porous media using a spatially periodic array. Zbl 0913.76091Kuwahara, F.; Kameyama, Y.; Yamashita, S.; Nakayama, A. 6 1998 A classical catch/throw calculus with tag abstractions and its strong normalizability. Zbl 0952.68019Kameyama, Yukiyoshi; Sato, Masahiko 1 1998 A type-free theory of half-monotone inductive definitions. Zbl 0830.68115Kameyama, Yukiyoshi 2 1995 all cited Publications top 5 cited Publications all top 5 Cited by 61 Authors 5 Fujita, Ken-etsu 3 Gabbay, Murdoch James 3 Kameyama, Yukiyoshi 3 Sato, Masahiko 3 Schubert, Aleksy 2 Ariola, Zena M. 2 Asai, Kenichi 2 Biernacki, Dariusz 2 Hasegawa, Ryu 2 Herbelin, Hugo 2 Kiselyov, Oleg 2 Nakano, Hiroshi 2 Polesiuk, Piotr 2 Rizwan-uddin 2 Sabry, Amr 2 Tatsuta, Makoto 2 Teruel, Federico E. 1 Bickford, Mark 1 Biernacka, Małgorzata 1 Braga, Edimilson J. 1 Danvy, Olivier 1 de Lemos, Marcelo J. S. 1 Desjardin, Paul E. 1 Dodd, Amanda B. 1 Dybjer, Peter 1 Geier, Martin 1 Hamana, Makoto 1 Hoarau, Yannick 1 Igarashi, Atsushi 1 Ilik, Danko 1 Inoue, Jun-Ichiro 1 Kammar, Ohad 1 Krafczyk, Manfred 1 Kumar, Vimal 1 Kundu, Partha 1 Kutscher, Konstantin 1 Lenglet, Sergueï 1 Lengrand, Stéphane Jean Eric 1 Liang, Chuck 1 Liu, Yu David 1 McGurn, Matthew T. 1 Mishra, Indra Mani 1 Nakazawa, Koji 1 Pientka, Brigitte 1 Pitts, Andrew M. 1 Pollack, Randy 1 Pretnar, Matija 1 Rahli, Vincent 1 Riesco, Adrián 1 Rodríguez-Hortalá, Juan 1 Sakurai, Takafumi 1 Schwichtenberg, Helmut 1 Shan, Chung-chieh 1 Skalka, Christian 1 Smith, Scott F. 1 Sumii, Eijiro 1 Taha, Walid 1 Tsukada, Takeshi 1 Tsukada, Yasuyuki 1 Urban, Christian 1 Yachi, Taichi all top 5 Cited in 14 Serials 8 Theoretical Computer Science 7 Higher-Order and Symbolic Computation 4 International Journal of Heat and Mass Transfer 3 Logical Methods in Computer Science 2 Annals of Pure and Applied Logic 2 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Functional Programming 1 Computers and Fluids 1 The Journal of Symbolic Logic 1 International Journal of Foundations of Computer Science 1 Applied Mathematical Modelling 1 Indagationes Mathematicae. New Series 1 Theory and Practice of Logic Programming all top 5 Cited in 6 Fields 25 Computer science (68-XX) 19 Mathematical logic and foundations (03-XX) 6 Fluid mechanics (76-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Citations by Year