Edit Profile (opens in new tab) Fujita, Ken-etsu Compute Distance To: Compute Author ID: fujita.ken-etsu Published as: Fujita, Ken-etsu; Fujita, Ken-Etsu Documents Indexed: 41 Publications since 1992 1 Contribution as Editor · 1 Further Contribution Co-Authors: 13 Co-Authors with 15 Joint Publications 136 Co-Co-Authors all top 5 Co-Authors 23 single-authored 7 Schubert, Aleksy 2 Nakazawa, Koji 1 Asanuma, Teruo 1 Au-Yang, M. K. 1 Goto, Shiro 1 Harao, Masateru 1 Hasegawa, Ryu 1 Honda, Yuki 1 Kagami, H. 1 Kashima, Ryo 1 Komaki, T. 1 Komori, Yuichi 1 Kurata, Toshihiko 1 Matsuda, Naosuke 1 Matsumara, H. 1 Middeldorp, Aart 1 Miyagoshi, T. 1 Nakano, Hiroshi 1 Onoda, Nobuharu 1 Ooishi, Akira 1 Sakuraba, Ataru 1 Shimoda, Yasuhiro 1 Tasaka, Yuji 1 Tatsuta, Makoto 1 Tonino, Hans 1 Wakita, Toshihiro 1 Watanabe, Kei-ichi 1 Yanagisawa, Takatoshi 1 Yoshida, Ken Ichi all top 5 Serials 5 RIMS Kokyuroku 4 Studia Logica 3 Theoretical Computer Science 2 Information Processing Letters 2 Annals of Pure and Applied Logic 2 Information and Computation 1 Journal of Fluid Mechanics 1 Logic Journal of the IGPL 1 Memoirs of the Faculty of Science and Engineering. Shimane University. Series B. Mathematical Science 1 Fractional Calculus & Applied Analysis 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Scientiae Mathematicae Japonicae all top 5 Fields 28 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 3 Several complex variables and analytic spaces (32-XX) 2 General and overarching topics; collections (00-XX) 2 Mechanics of deformable solids (74-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Functions of a complex variable (30-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Fluid mechanics (76-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 64 times in 21 Documents Cited by ▼ Year ▼ Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020 9 1990 Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032Fujita, Ken-Etsu 8 2000 Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019Baba, K.; Hirokawa, S.; Fujita, K. 6 2001 Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009Fujita, Ken-etsu 5 1999 Galois embedding from polymorphic types into existential types. Zbl 1114.03009Fujita, Ken-etsu 5 2005 Partially typed terms between Church-style and Curry-style. Zbl 0998.03009Fujita, Ken-Etsu; Schubert, Aleksy 5 2000 Existential type systems with no types in terms. Zbl 1246.03028Fujita, Ken-etsu; Schubert, Aleksy 4 2009 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020Nakazawa, Koji; Fujita, Ken-etsu 3 2016 On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007Tonino, Hans; Fujita, Ken-etsu 2 1992 On proof terms and embeddings of classical substructural logics. Zbl 0962.03015Fujita, Ken-Etsu 2 1998 The undecidability of type related problems in type-free style system F. Zbl 1236.68128Fujita, Ken-Etsu; Schubert, Aleksy 2 2010 A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008Fujita, Ken-etsu 2 2003 Inhabitation of polymorphic and existential types. Zbl 1225.03034Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi 2 2010 Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004Fujita, Ken-etsu; Schubert, Aleksy 1 2014 Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013Fujita, Ken-etsu 1 2003 On embedding of classical substructural logics. Zbl 0938.03536Fujita, Ken-etsu 1 1995 Polymorphic call-by-value calculus based on classical proofs (extended abstract). Zbl 0914.03036Fujita, Ken-etsu 1 1998 Calculus of classical proofs. I. Zbl 0890.03028Fujita, Ken-etsu 1 1997 CPS-translation as adjoint. Zbl 1186.68101Fujita, Ken-Etsu 1 2010 The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104Fujita, Ken-etsu 1 2018 The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Zbl 1283.03063Fujita, Ken-etsu; Schubert, Aleksy 1 2012 Two-dimensional oscillation of convection roll in a finite liquid metal layer under a horizontal magnetic field. Zbl 1461.76565Tasaka, Y.; Yanagisawa, T.; Fujita, K.; Miyagoshi, T.; Sakuraba, A. 1 2021 Two-dimensional oscillation of convection roll in a finite liquid metal layer under a horizontal magnetic field. Zbl 1461.76565Tasaka, Y.; Yanagisawa, T.; Fujita, K.; Miyagoshi, T.; Sakuraba, A. 1 2021 The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104Fujita, Ken-etsu 1 2018 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020Nakazawa, Koji; Fujita, Ken-etsu 3 2016 Existential type systems between Church and Curry style (type-free style). Zbl 1393.03004Fujita, 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.03063Fujita, Ken-etsu; Schubert, Aleksy 1 2012 The undecidability of type related problems in type-free style system F. Zbl 1236.68128Fujita, Ken-Etsu; Schubert, Aleksy 2 2010 Inhabitation of polymorphic and existential types. Zbl 1225.03034Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi 2 2010 CPS-translation as adjoint. Zbl 1186.68101Fujita, Ken-Etsu 1 2010 Existential type systems with no types in terms. Zbl 1246.03028Fujita, Ken-etsu; Schubert, Aleksy 4 2009 Galois embedding from polymorphic types into existential types. Zbl 1114.03009Fujita, Ken-etsu 5 2005 A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008Fujita, Ken-etsu 2 2003 Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013Fujita, Ken-etsu 1 2003 Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019Baba, K.; Hirokawa, S.; Fujita, K. 6 2001 Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032Fujita, Ken-Etsu 8 2000 Partially typed terms between Church-style and Curry-style. Zbl 0998.03009Fujita, Ken-Etsu; Schubert, Aleksy 5 2000 Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009Fujita, Ken-etsu 5 1999 On proof terms and embeddings of classical substructural logics. Zbl 0962.03015Fujita, Ken-Etsu 2 1998 Polymorphic call-by-value calculus based on classical proofs (extended abstract). Zbl 0914.03036Fujita, Ken-etsu 1 1998 Calculus of classical proofs. I. Zbl 0890.03028Fujita, Ken-etsu 1 1997 On embedding of classical substructural logics. Zbl 0938.03536Fujita, Ken-etsu 1 1995 On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007Tonino, Hans; Fujita, Ken-etsu 2 1992 Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020 9 1990 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 11 Fujita, Ken-etsu 6 Nakazawa, Koji 4 Schubert, Aleksy 4 Tatsuta, Makoto 2 Nakano, Hiroshi 1 Akama, Yohji 1 Ariola, Zena M. 1 Barthe, Gilles 1 Brown, Chad Edward 1 Downen, Paul 1 Hasegawa, Ryu 1 Hatcliff, John 1 Honda, Yuki 1 Ikeda, Satoshi 1 Johnson-Freyd, Philip 1 Kameyama, Yukiyoshi 1 Rizkallah, Christine 1 Sellink, M. P. A. 1 Sørensen, Morten Heine B. all top 5 Cited in 9 Serials 7 Theoretical Computer Science 3 Information Processing Letters 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Information and Computation 1 Studia Logica 1 International Journal of Foundations of Computer Science 1 Journal of Functional Programming 1 RAIRO. Theoretical Informatics and Applications Cited in 2 Fields 16 Mathematical logic and foundations (03-XX) 10 Computer science (68-XX) Citations by Year