Edit Profile (opens in new tab) Kameyama, Yukiyoshi Co-Author Distance Author ID: kameyama.yukiyoshi Published as: Kameyama, Yukiyoshi; Kameyama, Y. Documents Indexed: 27 Publications since 1995 1 Contribution as Editor Co-Authors: 23 Co-Authors with 24 Joint Publications 346 Co-Co-Authors all top 5 Co-Authors 4 single-authored 7 Sato, Masahiko 3 Sakurai, Takafumi 2 Baba, Kensuke 2 Hirokawa, Sachio 2 Kiselyov, Oleg 2 Masuda, Masahiro 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 Kawahara, Satoru 1 Kuwahara, Fujio 1 Nakayama, Akira 1 Okura, Rui 1 Shan, Chung-chieh 1 Stuckey, Peter James 1 Sudo, Yuto 1 Tanaka, Asami 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 all top 5 Fields 22 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 62 times in 48 Documents Cited by ▼ Year ▼ Polymorphic delimited continuations. Zbl 1137.68344Asai, Kenichi; Kameyama, Yukiyoshi 12 2007 A sound and complete axiomatization of delimited continuations. Zbl 1315.68098Kameyama, Yukiyoshi; Hasegawa, Masahito 9 2003 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 Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 5 2008 Typed dynamic control operators for delimited continuations. Zbl 1137.68346Kameyama, Yukiyoshi; Yonezawa, Takuo 4 2008 Shifting the stage. Staging with delimited control. Zbl 1248.68132Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh 3 2011 Axioms for control operators in the CPS hierarchy. Zbl 1128.68009Kameyama, Yukiyoshi 3 2007 A simply typed context calculus with first-class environments. Zbl 1037.68040Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi 2 2002 A type-free theory of half-monotone inductive definitions. Zbl 0830.68115Kameyama, Yukiyoshi 2 1995 A type-theoretic study on partial continuations. Zbl 0998.68033Kameyama, Yukiyoshi 2 2000 Axioms for delimited continuations in the CPS hierarchy. Zbl 1095.68024Kameyama, Yukiyoshi 2 2004 FFT program generation for ring LWE-based cryptography. Zbl 1496.94060Masuda, Masahiro; Kameyama, Yukiyoshi 1 2021 Language-integrated query with nested data structures and grouping. Zbl 07368089Okura, Rui; Kameyama, Yukiyoshi 1 2020 A simply typed context calculus with first-class environments. Zbl 0979.03014Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi 1 2001 Combinatory logic and \(\lambda\)-calculus for classical logic. Zbl 1034.03011Baba, Kensuke; Kameyama, Yukiyoshi; Hirokawa, Sachio 1 2000 A classical catch/throw calculus with tag abstractions and its strong normalizability. Repr. from Australian Computer Science Communications 20, No. 3 (1998). Zbl 0952.68019Kameyama, Yukiyoshi; Sato, Masahiko 1 1998 Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005 1 2004 Strong normalizability of the non-deterministic catch/throw calculi. Zbl 0984.68029Kameyama, Yukiyoshi; Sato, Masahiko 1 2002 FFT program generation for ring LWE-based cryptography. Zbl 1496.94060Masuda, Masahiro; Kameyama, Yukiyoshi 1 2021 Language-integrated query with nested data structures and grouping. Zbl 07368089Okura, Rui; Kameyama, Yukiyoshi 1 2020 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 5 2008 Typed dynamic control operators for delimited continuations. Zbl 1137.68346Kameyama, Yukiyoshi; Yonezawa, Takuo 4 2008 Polymorphic delimited continuations. Zbl 1137.68344Asai, Kenichi; Kameyama, Yukiyoshi 12 2007 Axioms for control operators in the CPS hierarchy. Zbl 1128.68009Kameyama, Yukiyoshi 3 2007 Axioms for delimited continuations in the CPS hierarchy. Zbl 1095.68024Kameyama, Yukiyoshi 2 2004 Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005 1 2004 A sound and complete axiomatization of delimited continuations. Zbl 1315.68098Kameyama, Yukiyoshi; Hasegawa, Masahito 9 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 2 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 Combinatory logic and \(\lambda\)-calculus for classical logic. Zbl 1034.03011Baba, Kensuke; Kameyama, Yukiyoshi; Hirokawa, Sachio 1 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. Repr. from Australian Computer Science Communications 20, No. 3 (1998). 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 67 Authors 5 Fujita, Ken-etsu 4 Asai, Kenichi 4 Biernacki, Dariusz 3 Gabbay, Murdoch James 3 Kameyama, Yukiyoshi 3 Lenglet, Sergueï 3 Polesiuk, Piotr 3 Sato, Masahiko 3 Schubert, Aleksy 2 Ariola, Zena M. 2 Biernacka, Małgorzata 2 Hasegawa, Ryu 2 Herbelin, Hugo 2 Ilik, Danko 2 Ishio, Chiaki 2 Kiselyov, Oleg 2 Rizwan-uddin 2 Sabry, Amr 2 Teruel, Federico E. 1 Akiba, Ken 1 Bickford, Mark 1 Braga, Edimilson J. 1 Cheney, James 1 Cong, Youyou 1 Danvy, Olivier 1 de Lemos, Marcelo J. S. 1 Desjardin, Paul E. 1 Dodd, Amanda B. 1 Dybjer, Peter 1 Hamana, Makoto 1 Hoarau, Yannick 1 Honda, Kaho 1 Igarashi, Atsushi 1 Inoue, Jun-Ichiro 1 Jin, Yan 1 Kammar, Ohad 1 Kawata, Toru 1 Kumar, Vimal 1 Kundu, Partha 1 Lengrand, Stéphane Jean Eric 1 Liang, Chuck 1 Liu, Yu David 1 Masuda, Masahiro 1 Materzok, Marek 1 McGurn, Matthew T. 1 Mishra, Indra Mani 1 Nakano, Hiroshi 1 Pitts, Andrew M. 1 Pollack, Randy 1 Pretnar, Matija 1 Rahli, Vincent 1 Rao, Feixiong 1 Ricciotti, Wilmer 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 Tatsuta, Makoto 1 Tsukada, Takeshi 1 Tsukada, Yasuyuki 1 Urban, Christian 1 Yachi, Taichi all top 5 Cited in 14 Serials 7 Theoretical Computer Science 7 Higher-Order and Symbolic Computation 4 International Journal of Heat and Mass Transfer 4 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 Journal of Fluid Mechanics 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 Cited in 5 Fields 30 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 6 Fluid mechanics (76-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Partial differential equations (35-XX) Citations by Year