Edit Profile (opens in new tab) Fujita, Ken-etsu Co-Author Distance Author ID: fujita.ken-etsu Published as: Fujita, Ken-etsu; Fujita, Ken-Etsu Documents Indexed: 43 Publications since 1992 1 Contribution as Editor · 1 Further Contribution Co-Authors: 16 Co-Authors with 17 Joint Publications 179 Co-Co-Authors all top 5 Co-Authors 23 single-authored 8 Schubert, Aleksy 3 Nakazawa, Koji 1 Asanuma, Teruo 1 Au-Yang, M. K. 1 Goto, Shiro 1 Harao, Masateru 1 Hasegawa, Ryu 1 Honda, Yuki 1 Imagawa, Yuta 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 Urzyczyn, Paweł 1 Wakita, Toshihiro 1 Watanabe, Kei-ichi 1 Yanagisawa, Takatoshi 1 Yoshida, Ken Ichi 1 Zdanowski, Konrad 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 MSCS. Mathematical Structures in Computer Science 1 Journal of Applied Non-Classical Logics 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 1 RIMS Kokyuroku all top 5 Fields 30 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 23 Publications have been cited 57 times in 25 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 Galois embedding from polymorphic types into existential types. Zbl 1114.03009 Fujita, Ken-etsu 7 2005 Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009 Fujita, Ken-etsu 6 1999 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 5 2009 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020 Nakazawa, Koji; Fujita, Ken-etsu 4 2016 Inhabitation of polymorphic and existential types. Zbl 1225.03034 Tatsuta, Makoto; Fujita, Ken-Etsu; Hasegawa, Ryu; Nakano, Hiroshi 3 2010 On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007 Tonino, Hans; Fujita, Ken-etsu 3 1992 On proof terms and embeddings of classical substructural logics. Zbl 0962.03015 Fujita, Ken-Etsu 2 1998 A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008 Fujita, Ken-etsu 2 2003 The undecidability of type related problems in type-free style system F. Zbl 1236.68128 Fujita, Ken-Etsu; Schubert, Aleksy 2 2010 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 Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013 Fujita, Ken-etsu 1 2003 The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104 Fujita, Ken-etsu 1 2018 A formal system of reduction paths for parallel reduction. Zbl 1433.68190 Fujita, Ken-etsu 1 2020 Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 07450681 Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu 1 2021 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 CPS-translation as adjoint. Zbl 1186.68101 Fujita, Ken-Etsu 1 2010 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 3 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 5 2009 Galois embedding from polymorphic types into existential types. Zbl 1114.03009 Fujita, Ken-etsu 7 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 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 13 Fujita, Ken-etsu 8 Nakazawa, Koji 5 Schubert, Aleksy 5 Tatsuta, Makoto 3 Nakano, Hiroshi 2 Kameyama, Yukiyoshi 1 Akama, Yohji 1 Ariola, Zena M. 1 Barthe, Gilles 1 Brown, Chad Edward 1 Downen, Paul 1 Geuvers, Jan Herman 1 Hasegawa, Ryu 1 Hatcliff, John 1 Honda, Yuki 1 Ikeda, Satoshi 1 Imagawa, Yuta 1 Johnson-Freyd, Philip 1 Rizkallah, Christine 1 Sellink, M. P. A. 1 Sørensen, Morten Heine B. 1 Urzyczyn, Paweł 1 Zdanowski, Konrad all top 5 Cited in 11 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 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 RAIRO. Theoretical Informatics and Applications Cited in 2 Fields 20 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) Citations by Year