%0 Conference Paper %1 conf/flops/CurienH98 %A Curien, Pierre-Louis %A Herbelin, Hugo %B Fuji International Symposium on Functional and Logic Programming %D 1998 %E Sato, Masahiko %E Toyama, Yoshihito %I World Scientific, Singapore %K dblp %P 20-39 %T Computing with Abstract Böhm Trees. %U http://dblp.uni-trier.de/db/conf/flops/flops98.html#CurienH98 %@ 981-02-3384-1

@inproceedings{conf/flops/CurienH98, added-at = {2019-07-30T00:00:00.000+0200}, author = {Curien, Pierre-Louis and Herbelin, Hugo}, biburl = {https://www.bibsonomy.org/bibtex/229f1bf9f441705808f071d705e904948/dblp}, booktitle = {Fuji International Symposium on Functional and Logic Programming}, crossref = {conf/flops/1998}, editor = {Sato, Masahiko and Toyama, Yoshihito}, interhash = {73d54a61035321eaeb30e0bfbfa915ce}, intrahash = {29f1bf9f441705808f071d705e904948}, isbn = {981-02-3384-1}, keywords = {dblp}, pages = {20-39}, publisher = {World Scientific, Singapore}, timestamp = {2019-07-31T11:36:22.000+0200}, title = {Computing with Abstract Böhm Trees.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops98.html#CurienH98}, year = 1998 }