Daisuke Kimura (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Daisuke Kimura, Makoto Tatsuta: Dual Calculus with Inductive and Coinductive Types. RTA 2009: 224-238

Selection of 1 from 4 records - Daisuke Kimura has 5 coauthors