×

zbMATH — the first resource for mathematics

Kameyama, Yukiyoshi

Compute Distance To:
Author ID: kameyama.yukiyoshi Recent zbMATH articles by "Kameyama, Yukiyoshi"
Published as: Kameyama, Y.; Kameyama, Yukiyoshi
Documents Indexed: 24 Publications since 1995, including 1 Book

Publications by Year

Citations contained in zbMATH

16 Publications have been cited 49 times in 41 Documents Cited by Year
Polymorphic delimited continuations. Zbl 1137.68344
Asai, Kenichi; Kameyama, Yukiyoshi
7
2007
A sound and complete axiomatization of delimited continuations. Zbl 1315.68098
Kameyama, Yukiyoshi; Hasegawa, Masahito
7
2003
Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi
6
2008
Numerical modeling of turbulent flow in porous media using a spatially periodic array. Zbl 0913.76091
Kuwahara, F.; Kameyama, Y.; Yamashita, S.; Nakayama, A.
6
1998
Calculi of meta-variables. Zbl 1116.03321
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi; Igarashi, Atsushi
5
2003
Shifting the stage. Staging with delimited control. Zbl 1248.68132
Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh
3
2011
A simply typed context calculus with first-class environments. Zbl 1037.68040
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi
3
2002
Typed dynamic control operators for delimited continuations. Zbl 1137.68346
Kameyama, Yukiyoshi; Yonezawa, Takuo
2
2008
A type-theoretic study on partial continuations. Zbl 0998.68033
Kameyama, Yukiyoshi
2
2000
A type-free theory of half-monotone inductive definitions. Zbl 0830.68115
Kameyama, Yukiyoshi
2
1995
Axioms for control operators in the CPS hierarchy. Zbl 1128.68009
Kameyama, Yukiyoshi
1
2007
Axioms for delimited continuations in the CPS hierarchy. Zbl 1095.68024
Kameyama, Yukiyoshi
1
2004
Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005
Kameyama, Yukiyoshi (ed.); Stuckey, Peter J. (ed.)
1
2004
Strong normalizability of the non-deterministic catch/throw calculi. Zbl 0984.68029
Kameyama, Yukiyoshi; Sato, Masahiko
1
2002
A simply typed context calculus with first-class environments. Zbl 0979.03014
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi
1
2001
A classical catch/throw calculus with tag abstractions and its strong normalizability. Zbl 0952.68019
Kameyama, Yukiyoshi; Sato, Masahiko
1
1998
Shifting the stage. Staging with delimited control. Zbl 1248.68132
Kameyama, Yukiyoshi; Kiselyov, Oleg; Shan, Chung-Chieh
3
2011
Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi
6
2008
Typed dynamic control operators for delimited continuations. Zbl 1137.68346
Kameyama, Yukiyoshi; Yonezawa, Takuo
2
2008
Polymorphic delimited continuations. Zbl 1137.68344
Asai, Kenichi; Kameyama, Yukiyoshi
7
2007
Axioms for control operators in the CPS hierarchy. Zbl 1128.68009
Kameyama, Yukiyoshi
1
2007
Axioms for delimited continuations in the CPS hierarchy. Zbl 1095.68024
Kameyama, Yukiyoshi
1
2004
Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Zbl 1048.68005
Kameyama, Yukiyoshi (ed.); Stuckey, Peter J. (ed.)
1
2004
A sound and complete axiomatization of delimited continuations. Zbl 1315.68098
Kameyama, Yukiyoshi; Hasegawa, Masahito
7
2003
Calculi of meta-variables. Zbl 1116.03321
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi; Igarashi, Atsushi
5
2003
A simply typed context calculus with first-class environments. Zbl 1037.68040
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi
3
2002
Strong normalizability of the non-deterministic catch/throw calculi. Zbl 0984.68029
Kameyama, Yukiyoshi; Sato, Masahiko
1
2002
A simply typed context calculus with first-class environments. Zbl 0979.03014
Sato, Masahiko; Sakurai, Takafumi; Kameyama, Yukiyoshi
1
2001
A type-theoretic study on partial continuations. Zbl 0998.68033
Kameyama, Yukiyoshi
2
2000
Numerical modeling of turbulent flow in porous media using a spatially periodic array. Zbl 0913.76091
Kuwahara, F.; Kameyama, Y.; Yamashita, S.; Nakayama, A.
6
1998
A classical catch/throw calculus with tag abstractions and its strong normalizability. Zbl 0952.68019
Kameyama, Yukiyoshi; Sato, Masahiko
1
1998
A type-free theory of half-monotone inductive definitions. Zbl 0830.68115
Kameyama, Yukiyoshi
2
1995

Citations by Year