| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 17 |      | Ken-etsu Fujita, Aleksy Schubert: The Undecidability of Type Related Problems in Type-free Style System F. RTA 2010: 103-118 |
| 16 | | Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano: Inhabitation of polymorphic and existential types. Ann. Pure Appl. Logic 161(11): 1390-1399 (2010) |
| 15 | | Ken-etsu Fujita: CPS-translation as adjoint. Theor. Comput. Sci. 411(2): 324-340 (2010) |
| 2009 | ||
| 14 | | Ken-etsu Fujita, Aleksy Schubert: Existential Type Systems with No Types in Terms. TLCA 2009: 112-126 |
| 2005 | ||
| 13 | | Ken-etsu Fujita: Galois Embedding from Polymorphic Types into Existential Types. TLCA 2005: 194-208 |
| 2003 | ||
| 12 | | Ken-etsu Fujita: A Sound and Complete CPS-Translation for lambda-mu-Calculus. TLCA 2003: 120-134 |
| 2002 | ||
| 11 | | Ken-etsu Fujita: An interpretation of [lambda][mu]-calculus in [lambda]-calculus. Inf. Process. Lett. 84(5): 261-264 (2002) |
| 2001 | ||
| 10 | | Kensuke Baba, Sachio Hirokawa, Ken-etsu Fujita: Parallel Reduction in Type Free lambda/mu-Calculus. Electr. Notes Theor. Comput. Sci. 42: 52-66 (2001) |
| 2000 | ||
| 9 | | Ken-etsu Fujita, Aleksy Schubert: Partially Typed Terms between Church-Style and Curry-Style. IFIP TCS 2000: 505-520 |
| 8 | | Ken-etsu Fujita: Multiple-conclusion system as communication calculus. Electr. Notes Theor. Comput. Sci. 31: 73-88 (2000) |
| 7 | | Ken-etsu Fujita: Domain-free [lambda][mu]-calculus. ITA 34(6): 433-466 (2000) |
| 1999 | ||
| 6 | | Ken-etsu Fujita: Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. TLCA 1999: 162-176 |
| 5 | | Ken-etsu Fujita: A Binary-Conclusion Natural Deduction System. Logic Journal of the IGPL 7(4): 517-545 (1999) |
| 1998 | ||
| 4 | | Ken-etsu Fujita: Polymorphic Call-by-Value Calculus Based on Classical Proofs. AISC 1998: 170-182 |
| 3 | | Ken-etsu Fujita: On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61(2): 199-221 (1998) |
| 1997 | ||
| 2 | | Ken-etsu Fujita: Calculus of Classical Proofs I. ASIAN 1997: 321-335 |
| 1992 | ||
| 1 | | Hans Tonino, Ken-etsu Fujita: On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System. Ann. Pure Appl. Logic 57(3): 251-276 (1992) |
| 1 | Kensuke Baba | [10] |
| 2 | Ryu Hasegawa | [16] |
| 3 | Sachio Hirokawa | [10] |
| 4 | Hiroshi Nakano | [16] |
| 5 | Aleksy Schubert | [9] [14] [17] |
| 6 | Makoto Tatsuta | [16] |
| 7 | Hans Tonino | [1] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page