Daisuke Kimura

	2009
3		Daisuke Kimura, Makoto Tatsuta: Dual Calculus with Inductive and Coinductive Types. RTA 2009: 224-238
	2008
2		Yuki Ishikawa, Daisuke Kimura, Yasuhide Ishige, Toshimichi Saito: Analysis of Simple Single/Parallel Switched Dynamical Systems Based on Two Switching Strategies. IEICE Transactions 91-A(8): 2076-2083 (2008)
	2007
1		Daisuke Kimura: Call-by-Value Is Dual to Call-by-Name, Extended. APLAS 2007: 415-430

Coauthor Index

1	Yasuhide Ishige	[2]
2	Yuki Ishikawa	[2]
3	Toshimichi Saito	[2]
4	Makoto Tatsuta	[3]

Colors in the list of coauthors