Abstract Böhm trees. Curien, P. Mathematical Structures in Computer Science, 8(06):559–591, 1998. bibtex @Article{Curien1998a,
author = {Curien, PL},
title = {Abstract Böhm trees},
journal = {Mathematical Structures in Computer Science},
volume = {8},
number = {06},
pages = {559--591},
year = {1998},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"oTFjXrQCzdu5vSgpk","bibbaseid":"curien-abstractbhmtrees-1998","authorIDs":[],"author_short":["Curien, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Curien"],"firstnames":["PL"],"suffixes":[]}],"title":"Abstract Böhm trees","journal":"Mathematical Structures in Computer Science","volume":"8","number":"06","pages":"559–591","year":"1998","abstract":"","location":"","keywords":"","bibtex":"@Article{Curien1998a,\nauthor = {Curien, PL}, \ntitle = {Abstract Böhm trees}, \njournal = {Mathematical Structures in Computer Science}, \nvolume = {8}, \nnumber = {06}, \npages = {559--591}, \nyear = {1998}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Curien, P."],"key":"Curien1998a","id":"Curien1998a","bibbaseid":"curien-abstractbhmtrees-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.819Z","downloads":0,"keywords":[],"search_terms":["abstract","trees","curien"],"title":"Abstract Böhm trees","year":1998,"dataSources":["hEoKh4ygEAWbAZ5iy"]}