The SCEAS System
Navigation Menu

Search the dblp DataBase


Ken-etsu Fujita: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ken-etsu Fujita
    Polymorphic Call-by-Value Calculus Based on Classical Proofs. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:170-182 [Conf]
  2. Ken-etsu Fujita
    Calculus of Classical Proofs I. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:321-335 [Conf]
  3. Ken-etsu Fujita, Aleksy Schubert
    Partially Typed Terms between Church-Style and Curry-Style. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:505-520 [Conf]
  4. Ken-etsu Fujita
    A Sound and Complete CPS-Translation for lambda-mu-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:120-134 [Conf]
  5. Ken-etsu Fujita
    Galois Embedding from Polymorphic Types into Existential Types. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:194-208 [Conf]
  6. Ken-etsu Fujita
    Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:162-176 [Conf]
  7. Hans Tonino, Ken-etsu Fujita
    On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:57, n:3, pp:251-276 [Journal]
  8. Ken-etsu Fujita
    A Binary-Conclusion Natural Deduction System. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:4, pp:517-545 [Journal]
  9. Ken-etsu Fujita
    An interpretation of [lambda][mu]-calculus in [lambda]-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:84, n:5, pp:261-264 [Journal]
  10. Ken-etsu Fujita
    Domain-free [lambda][mu]-calculus. [Citation Graph (0, 0)][DBLP]
    ITA, 2000, v:34, n:6, pp:433-466 [Journal]
  11. Ken-etsu Fujita
    On Proof Terms and Embeddings of Classical Substructural Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:61, n:2, pp:199-221 [Journal]
  12. Kensuke Baba, Sachio Hirokawa, Ken-etsu Fujita
    Parallel Reduction in Type Free lambda/mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  13. Ken-etsu Fujita
    Multiple-conclusion system as communication calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:31, n:, pp:- [Journal]

  14. The Undecidability of Type Related Problems in Type-free Style System F. [Citation Graph (, )][DBLP]

  15. Existential Type Systems with No Types in Terms. [Citation Graph (, )][DBLP]

Search in 0.017secs, Finished in 0.018secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002