×
Author ID: fujita.ken-etsu Recent zbMATH articles by "Fujita, Ken-etsu"
Published as: Fujita, Ken-etsu; Fujita, Ken-Etsu

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 54 times in 24 Documents Cited by Year
Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019
Baba, K.; Hirokawa, S.; Fujita, K.
10
2001
Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032
Fujita, Ken-Etsu
8
2000
Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020
8
1990
Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009
Fujita, Ken-etsu
6
1999
Galois embedding from polymorphic types into existential types. Zbl 1114.03009
Fujita, Ken-etsu
6
2005
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
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
4
2016
On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007
Tonino, Hans; Fujita, Ken-etsu
3
1992
Inhabitation of polymorphic and existential types. Zbl 1225.03034
Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi
2
2010
On proof terms and embeddings of classical substructural logics. Zbl 0962.03015
Fujita, Ken-Etsu
2
1998
The undecidability of type related problems in type-free style system F. Zbl 1236.68128
Fujita, Ken-Etsu; Schubert, Aleksy
2
2010
A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008
Fujita, Ken-etsu
2
2003
On embedding of classical substructural logics. Zbl 0938.03536
Fujita, Ken-etsu
1
1995
Polymorphic call-by-value calculus based on classical proofs (extended abstract). Zbl 0914.03036
Fujita, Ken-etsu
1
1998
CPS-translation as adjoint. Zbl 1186.68101
Fujita, Ken-Etsu
1
2010
Calculus of classical proofs. I. Zbl 0890.03028
Fujita, Ken-etsu
1
1997
Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004
Fujita, Ken-etsu; Schubert, Aleksy
1
2014
Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013
Fujita, Ken-etsu
1
2003
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
Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 07450681
Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu
1
2021
A formal system of reduction paths for parallel reduction. Zbl 1433.68190
Fujita, Ken-etsu
1
2020
The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104
Fujita, Ken-etsu
1
2018
Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 07450681
Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu
1
2021
A formal system of reduction paths for parallel reduction. Zbl 1433.68190
Fujita, Ken-etsu
1
2020
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
4
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
Inhabitation of polymorphic and existential types. Zbl 1225.03034
Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi
2
2010
The undecidability of type related problems in type-free style system F. Zbl 1236.68128
Fujita, Ken-Etsu; Schubert, Aleksy
2
2010
CPS-translation as adjoint. Zbl 1186.68101
Fujita, Ken-Etsu
1
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
6
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.
10
2001
Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032
Fujita, Ken-Etsu
8
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
6
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
3
1992
Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020
8
1990

Citations by Year