The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002