TY  - RPRT
TI  - Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
AU  - Daisuke Kimura
AU  - Makoto Tatsuta
PY  - 2013
DO  - 10.2168/lmcs-9(1:14)2013
UR  - https://arxiv.org/abs/1302.5765
ID  - 1302.5765
ER  -