Ken-etsu Fujita

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2012
j10		Ken-etsu Fujita, Aleksy Schubert: The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types. Inf. Comput. 218: 69-87 (2012)
	2010
j9		Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano: Inhabitation of polymorphic and existential types. Ann. Pure Appl. Logic 161(11): 1390-1399 (2010)
j8		Ken-etsu Fujita: CPS-translation as adjoint. Theor. Comput. Sci. 411(2): 324-340 (2010)
c8		Ken-etsu Fujita, Aleksy Schubert: The Undecidability of Type Related Problems in Type-free Style System F. RTA 2010: 103-118
	2009
c7		Ken-etsu Fujita, Aleksy Schubert: Existential Type Systems with No Types in Terms. TLCA 2009: 112-126
	2005
c6		Ken-etsu Fujita: Galois Embedding from Polymorphic Types into Existential Types. TLCA 2005: 194-208
	2003
c5		Ken-etsu Fujita: A Sound and Complete CPS-Translation for lambda-mu-Calculus. TLCA 2003: 120-134
	2002
j7		Ken-etsu Fujita: An interpretation of [lambda][mu]-calculus in [lambda]-calculus. Inf. Process. Lett. 84(5): 261-264 (2002)
	2001
j6		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
j5		Ken-etsu Fujita: Domain-free [lambda][mu]-calculus. ITA 34(6): 433-466 (2000)
j4		Ken-etsu Fujita: Multiple-conclusion system as communication calculus. Electr. Notes Theor. Comput. Sci. 31: 73-88 (2000)
c4		Ken-etsu Fujita, Aleksy Schubert: Partially Typed Terms between Church-Style and Curry-Style. IFIP TCS 2000: 505-520
	1999
j3		Ken-etsu Fujita: A Binary-Conclusion Natural Deduction System. Logic Journal of the IGPL 7(4): 517-545 (1999)
c3		Ken-etsu Fujita: Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. TLCA 1999: 162-176
	1998
j2		Ken-etsu Fujita: On Proof Terms and Embeddings of Classical Substructural Logics. Studia Logica 61(2): 199-221 (1998)
c2		Ken-etsu Fujita: Polymorphic Call-by-Value Calculus Based on Classical Proofs. AISC 1998: 170-182
	1997
c1		Ken-etsu Fujita: Calculus of Classical Proofs I. ASIAN 1997: 321-335
	1992
j1		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)

Coauthor Index

1	Kensuke Baba	[j6]
2	Ryu Hasegawa	[j9]
3	Sachio Hirokawa	[j6]
4	Hiroshi Nakano	[j9]
5	Aleksy Schubert	[j10] [c8] [c7] [c4]
6	Makoto Tatsuta	[j9]
7	Hans Tonino	[j1]

Colors in the list of coauthors

Last update Sun May 26 09:51:51 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page