Shin-ya Katsumata

	2011
12		Shin-ya Katsumata: Relating Computational Effects by ⊤ ⊤-Lifting. ICALP (2) 2011: 174-185
	2010
11		Shin-ya Katsumata: Categorical Descriptional Composition. APLAS 2010: 222-238
	2008
10		Shin-ya Katsumata: A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. CSL 2008: 278-292
9		Shin-ya Katsumata: Attribute Grammars and Categorical Semantics. ICALP (2) 2008: 271-282
8		Shin-ya Katsumata, Susumu Nishimura: Algebraic fusion of functions with an accumulating parameter and its improvement. J. Funct. Program. 18(5-6): 781-819 (2008)
	2006
7		Shin-ya Katsumata, Susumu Nishimura: Algebraic fusion of functions with an accumulating parameter and its improvement. ICFP 2006: 227-238
	2005
6		Shin-ya Katsumata: A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. CSL 2005: 87-102
	2004
5		Shin-ya Katsumata: A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems. ICALP 2004: 831-845
	2003
4		Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella: Semantic and Syntactic Approaches to Simulation Relations. MFCS 2003: 68-91
	2002
3		Shin-ya Katsumata: Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. WADT 2002: 284-298
	2001
2		Shin-ya Katsumata, Atsushi Ohori: Proof-Directed De-compilation of Low-Level Code. ESOP 2001: 352-366
1		Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata: Comparing Type-Based and Proof-Directed Decompilation. WCRE 2001: 362-367

Coauthor Index

1	Jo Erskine Hannay	[4]
2	Alan Mycroft	[1]
3	Susumu Nishimura	[7] [8]
4	Atsushi Ohori	[1] [2]
5	Donald Sannella	[4]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page