Edit Profile Fujita, Ken-etsu Compute Distance To: Compute Author ID: fujita.ken-etsu Published as: Fujita, K.; Fujita, Ken-Etsu; Fujita, Ken-etsu Documents Indexed: 40 Publications since 1990, including 1 Book all top 5 Co-Authors 19 single-authored 7 Schubert, Aleksy 1 Harao, Masateru 1 Hasegawa, Ryu 1 Kashima, Ryo 1 Komori, Yuichi 1 Kurata, Toshihiko 1 Matsuda, Naosuke 1 Middeldorp, Aart 1 Nakano, Hiroshi 1 Nakazawa, Koji 1 Tatsuta, Makoto 1 Tonino, Hans all top 5 Serials 5 RIMS Kokyuroku 3 Studia Logica 3 Theoretical Computer Science 2 Information Processing Letters 2 Annals of Pure and Applied Logic 2 Information and Computation 1 Logic Journal of the IGPL 1 Memoirs of the Faculty of Science and Engineering. Shimane University. Series B. Mathematical Science 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Scientiae Mathematicae Japonicae Fields 27 Mathematical logic and foundations (03-XX) 17 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 21 Publications have been cited 60 times in 31 Documents Cited by ▼ Year ▼ Flow-induced vibration - 1990. Proceedings. Zbl 0850.73020Chen, S. S. (ed.); Fujita, K. (ed.); Au-Yang, M. K. (ed.) 9 1990 Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032Fujita, Ken-Etsu 7 2000 Galois embedding from polymorphic types into existential types. Zbl 1114.03009Fujita, Ken-etsu 5 2005 Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019Baba, K.; Hirokawa, S.; Fujita, K. 5 2001 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 Explicitly typed \(\lambda\mu\)-calculus for polymorphism and call-by-value. Zbl 0933.03009Fujita, Ken-etsu 4 1999 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020Nakazawa, Koji; Fujita, Ken-etsu 2 2016 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 2 2010 A sound and complete CPS-translation for \(\lambda\mu\)-calculus. Zbl 1040.03008Fujita, Ken-etsu 2 2003 On proof terms and embeddings of classical substructural logics. Zbl 0962.03015Fujita, Ken-Etsu 2 1998 On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007Tonino, Hans; Fujita, Ken-etsu 2 1992 The Church-Rosser theorem and quantitative analysis of witnesses. Zbl 1436.03104Fujita, Ken-etsu 1 2018 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 Continuation semantics and CPS-translation of \(\lambda\mu\)-calculus. Zbl 1057.68013Fujita, Ken-etsu 1 2003 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 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 2 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 2 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. 5 2001 Domain-free \(\lambda\mu\)-calculus. Zbl 0974.68032Fujita, Ken-Etsu 7 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 4 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.73020Chen, S. S. (ed.); Fujita, K. (ed.); Au-Yang, M. K. (ed.) 9 1990 all cited Publications top 5 cited Publications all top 5 Cited by 41 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 Assi, G. R. S. 1 Barthe, Gilles 1 Bearman, Peter W. 1 Brown, Chad Edward 1 Carmo, Bruno S. 1 de Langre, Emmanuel 1 Downen, Paul 1 Drozdov, Aleksey D. 1 Grouthier, C. 1 Hasegawa, Ryu 1 Hatcliff, John 1 Ikeda, Satoshi 1 Johnson-Freyd, Philip 1 Kameyama, Yukiyoshi 1 Kantor, Jean-Michel 1 Kumar, Viveka 1 Lakis, Aouni A. 1 Meneghini, Julio Romano 1 Michelin, Sebastien 1 Mittal, S. C. 1 Mittal, Shweta 1 Modarres-Sadeghi, Yahya 1 Rizkallah, Christine 1 Saksena, P. K. 1 Saurin, Alexis 1 Sellink, M. P. A. 1 Sherwin, Spencer J. 1 Singh, Anshuman 1 Sørensen, Morten Heine B. 1 Tharwat, Alaa 1 Toorani, M. H. 1 Willden, Richard H. J. 1 Yan, Yunyi 1 Zimmermann, Karl-Heinz all top 5 Cited in 13 Serials 8 Theoretical Computer Science 4 International Journal for Numerical Methods in Fluids 3 Information Processing Letters 2 Journal of Fluid Mechanics 2 Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Information and Computation 1 The Mathematical Intelligencer 1 Studia Logica 1 International Journal of Foundations of Computer Science 1 Journal of Functional Programming 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 9 Fields 17 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 5 Fluid mechanics (76-XX) 3 Mechanics of deformable solids (74-XX) 1 History and biography (01-XX) 1 Partial differential equations (35-XX) 1 Integral equations (45-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year