The SCEAS System
| |||||||

## Search the dblp DataBase
Ken-etsu Fujita:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ken-etsu Fujita
**Polymorphic Call-by-Value Calculus Based on Classical Proofs.**[Citation Graph (0, 0)][DBLP] AISC, 1998, pp:170-182 [Conf] - Ken-etsu Fujita
**Calculus of Classical Proofs I.**[Citation Graph (0, 0)][DBLP] ASIAN, 1997, pp:321-335 [Conf] - 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] - Ken-etsu Fujita
**A Sound and Complete CPS-Translation for lambda-mu-Calculus.**[Citation Graph (0, 0)][DBLP] TLCA, 2003, pp:120-134 [Conf] - Ken-etsu Fujita
**Galois Embedding from Polymorphic Types into Existential Types.**[Citation Graph (0, 0)][DBLP] TLCA, 2005, pp:194-208 [Conf] - Ken-etsu Fujita
**Explicitly Typed**[Citation Graph (0, 0)][DBLP]*lambda µ*-Calculus for Polymorphism an Call-by-Value. TLCA, 1999, pp:162-176 [Conf] - 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] - 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] - 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] - Ken-etsu Fujita
**Domain-free [lambda][mu]-calculus.**[Citation Graph (0, 0)][DBLP] ITA, 2000, v:34, n:6, pp:433-466 [Journal] - 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] - 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] - 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] **The Undecidability of Type Related Problems in Type-free Style System F.**[Citation Graph (, )][DBLP]**Existential Type Systems with No Types in Terms.**[Citation Graph (, )][DBLP]
Search in 0.017secs, Finished in 0.018secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |