%0 Conference Paper %1 conf/tlca/DespeyrouxPS97 %A Despeyroux, Joëlle %A Pfenning, Frank %A Schürmann, Carsten %B TLCA %D 1997 %E de Groote, Philippe %I Springer %K dblp %P 147-163 %T Primitive Recursion for Higher-Order Abstract Syntax. %U http://dblp.uni-trier.de/db/conf/tlca/tlca97.html#DespeyrouxPS97 %V 1210 %@ 3-540-62688-3

@inproceedings{conf/tlca/DespeyrouxPS97, added-at = {2017-05-17T00:00:00.000+0200}, author = {Despeyroux, Joëlle and Pfenning, Frank and Schürmann, Carsten}, biburl = {https://www.bibsonomy.org/bibtex/247ba1f04dfe248c77d6bd113d6a65873/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/1997}, editor = {de Groote, Philippe}, ee = {https://doi.org/10.1007/3-540-62688-3_34}, interhash = {f284eb14846d29b07ea8e728f0bc1aaf}, intrahash = {47ba1f04dfe248c77d6bd113d6a65873}, isbn = {3-540-62688-3}, keywords = {dblp}, pages = {147-163}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:22:14.000+0200}, title = {Primitive Recursion for Higher-Order Abstract Syntax.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca97.html#DespeyrouxPS97}, volume = 1210, year = 1997 }