Computing with abstract Bohm trees. Curien, P. & Herbelin, H Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming, Eds M. Sato & Y. Toyama, World Scientific, 1998. bibtex @Article{Curien1998,
author = {Curien, PL and Herbelin, H},
title = {Computing with abstract Bohm trees},
journal = {Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming, Eds M. Sato \& Y. Toyama, World Scientific},
volume = {},
number = {},
pages = {20--39},
year = {1998},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"up7EmuvThtvust7ui","bibbaseid":"curien-herbelin-computingwithabstractbohmtrees-1998","authorIDs":[],"author_short":["Curien, P.","Herbelin, H"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Curien"],"firstnames":["PL"],"suffixes":[]},{"propositions":[],"lastnames":["Herbelin"],"firstnames":["H"],"suffixes":[]}],"title":"Computing with abstract Bohm trees","journal":"Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming, Eds M. Sato & Y. Toyama, World Scientific","volume":"","number":"","pages":"20–39","year":"1998","abstract":"","location":"","keywords":"","bibtex":"@Article{Curien1998,\nauthor = {Curien, PL and Herbelin, H}, \ntitle = {Computing with abstract Bohm trees}, \njournal = {Proceedings of the 3rd Fuji International Symposium on Functional and Logic Programming, Eds M. Sato \\& Y. Toyama, World Scientific}, \nvolume = {}, \nnumber = {}, \npages = {20--39}, \nyear = {1998}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Curien, P.","Herbelin, H"],"key":"Curien1998","id":"Curien1998","bibbaseid":"curien-herbelin-computingwithabstractbohmtrees-1998","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.817Z","downloads":0,"keywords":[],"search_terms":["computing","abstract","bohm","trees","curien","herbelin"],"title":"Computing with abstract Bohm trees","year":1998,"dataSources":["hEoKh4ygEAWbAZ5iy"]}