%0 Journal Article %1 barthefgpu04 %A Barthe, Gilles %A Frade, Maria João %A Giménez, E. %A Pinto, Luis %A Uustalu, Tarmo %D 2004 %J Mathematical Structures in Computer Science %K imported %N 1 %P 97-141 %T Type-based termination of recursive definitions. %V 14

@article{barthefgpu04, added-at = {2010-08-25T08:47:38.000+0200}, author = {Barthe, Gilles and Frade, Maria Jo{\~{a}}o and Gim{\'{e}}nez, E. and Pinto, Luis and Uustalu, Tarmo}, bibsource = {{DBLP, http://dblp.uni-trier.de}}, biburl = {https://www.bibsonomy.org/bibtex/2fcac99812ce1dfaac827c7df92c4ab91/miguel.pagano}, ee = {{http://dx.doi.org/10.1017/S0960129503004122}}, interhash = {6aecc26989991e21ad4c00359fe21bd3}, intrahash = {fcac99812ce1dfaac827c7df92c4ab91}, journal = {{Mathematical Structures in Computer Science}}, keywords = {imported}, number = {{1}}, pages = {97-141}, timestamp = {2010-08-25T08:47:39.000+0200}, title = {{Type-based termination of recursive definitions.}}, volume = {{14}}, year = {{2004}} }