%0 Journal Article %1 RecTutorial.v %A Gimenez, Eduardo %A Casteran, Pierre %D 2006 %K imported %T A Tutorial on Co-Inductive Types in Coq

@article{RecTutorial.v, added-at = {2010-08-25T08:47:38.000+0200}, author = {Gimenez, Eduardo and Casteran, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2fa5b0ef95446c6118ccba1a257ba1531/miguel.pagano}, interhash = {c3445eebb1745029a6d49735a9dae6c6}, intrahash = {fa5b0ef95446c6118ccba1a257ba1531}, keywords = {imported}, timestamp = {2010-08-25T08:47:41.000+0200}, title = {{A Tutorial on [Co-]Inductive Types in Coq}}, year = {{2006}} }