%0 Journal Article %1 journals/corr/abs-1302-5765 %A Kimura, Daisuke %A Tatsuta, Makoto %D 2013 %J Logical Methods in Computer Science %K dblp %N 1 %T Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs9.html#abs-1302-5765 %V 9

@article{journals/corr/abs-1302-5765, added-at = {2019-05-14T00:00:00.000+0200}, author = {Kimura, Daisuke and Tatsuta, Makoto}, biburl = {https://www.bibsonomy.org/bibtex/2c136d8886210de2203a9d99510c807b3/dblp}, ee = {http://arxiv.org/abs/1302.5765}, interhash = {e4573fe1799ed0e1b7daf2b962f08e07}, intrahash = {c136d8886210de2203a9d99510c807b3}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:32.000+0200}, title = {Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs9.html#abs-1302-5765}, volume = 9, year = 2013 }