×

zbMATH — the first resource for mathematics

Fujita, Ken-etsu

Compute Distance To:
Author ID: fujita.ken-etsu Recent zbMATH articles by "Fujita, Ken-etsu"
Published as: Fujita, K.; Fujita, Ken-Etsu; Fujita, Ken-etsu
Documents Indexed: 40 Publications since 1990, including 1 Book

Publications by Year

Citations contained in zbMATH

21 Publications have been cited 60 times in 31 Documents Cited by Year
Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020
Chen, S. S. (ed.); Fujita, K. (ed.); Au-Yang, M. K. (ed.)
9
1990
Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032
Fujita, Ken-Etsu
7
2000
Galois embedding from polymorphic types into existential types. Zbl 1114.03009
Fujita, Ken-etsu
5
2005
Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019
Baba, K.; Hirokawa, S.; Fujita, K.
5
2001
Partially typed terms between Church-style and Curry-style. Zbl 0998.03009
Fujita, Ken-Etsu; Schubert, Aleksy
5
2000
Existential type systems with no types in terms. Zbl 1246.03028
Fujita, Ken-etsu; Schubert, Aleksy
4
2009
Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009
Fujita, Ken-etsu
4
1999
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
2
2016
The undecidability of type related problems in type-free style system F. Zbl 1236.68128
Fujita, Ken-Etsu; Schubert, Aleksy
2
2010
Inhabitation of polymorphic and existential types. Zbl 1225.03034
Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi
2
2010
CPS-translation as adjoint. Zbl 1186.68101
Fujita, Ken-Etsu
2
2010
A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008
Fujita, Ken-etsu
2
2003
On proof terms and embeddings of classical substructural logics. Zbl 0962.03015
Fujita, Ken-Etsu
2
1998
On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007
Tonino, Hans; Fujita, Ken-etsu
2
1992
The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104
Fujita, Ken-etsu
1
2018
Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004
Fujita, Ken-etsu; Schubert, Aleksy
1
2014
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Zbl 1283.03063
Fujita, Ken-etsu; Schubert, Aleksy
1
2012
Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013
Fujita, Ken-etsu
1
2003
Polymorphic call-by-value calculus based on classical proofs (extended abstract). Zbl 0914.03036
Fujita, Ken-etsu
1
1998
Calculus of classical proofs. I. Zbl 0890.03028
Fujita, Ken-etsu
1
1997
On embedding of classical substructural logics. Zbl 0938.03536
Fujita, Ken-etsu
1
1995
The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104
Fujita, Ken-etsu
1
2018
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
2
2016
Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004
Fujita, Ken-etsu; Schubert, Aleksy
1
2014
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Zbl 1283.03063
Fujita, Ken-etsu; Schubert, Aleksy
1
2012
The undecidability of type related problems in type-free style system F. Zbl 1236.68128
Fujita, Ken-Etsu; Schubert, Aleksy
2
2010
Inhabitation of polymorphic and existential types. Zbl 1225.03034
Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi
2
2010
CPS-translation as adjoint. Zbl 1186.68101
Fujita, Ken-Etsu
2
2010
Existential type systems with no types in terms. Zbl 1246.03028
Fujita, Ken-etsu; Schubert, Aleksy
4
2009
Galois embedding from polymorphic types into existential types. Zbl 1114.03009
Fujita, Ken-etsu
5
2005
A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008
Fujita, Ken-etsu
2
2003
Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013
Fujita, Ken-etsu
1
2003
Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019
Baba, K.; Hirokawa, S.; Fujita, K.
5
2001
Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032
Fujita, Ken-Etsu
7
2000
Partially typed terms between Church-style and Curry-style. Zbl 0998.03009
Fujita, Ken-Etsu; Schubert, Aleksy
5
2000
Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009
Fujita, Ken-etsu
4
1999
On proof terms and embeddings of classical substructural logics. Zbl 0962.03015
Fujita, Ken-Etsu
2
1998
Polymorphic call-by-value calculus based on classical proofs (extended abstract). Zbl 0914.03036
Fujita, Ken-etsu
1
1998
Calculus of classical proofs. I. Zbl 0890.03028
Fujita, Ken-etsu
1
1997
On embedding of classical substructural logics. Zbl 0938.03536
Fujita, Ken-etsu
1
1995
On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007
Tonino, Hans; Fujita, Ken-etsu
2
1992
Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020
Chen, S. S. (ed.); Fujita, K. (ed.); Au-Yang, M. K. (ed.)
9
1990

Citations by Year