@Article{Alberti1997,
author = {Alberti, FJ}, 
title = {An abstract machine based on linear logic and explicit substitutions}, 
journal = {Master\'s thesis, School of Computer Science, University of Birmingham}, 
volume = {}, 
number = {}, 
pages = {}, 
year = {1997}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"uxMk5W6HHZT3K79xX","bibbaseid":"alberti-anabstractmachinebasedonlinearlogicandexplicitsubstitutions-1997","authorIDs":[],"author_short":["Alberti, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Alberti"],"firstnames":["FJ"],"suffixes":[]}],"title":"An abstract machine based on linear logic and explicit substitutions","journal":"Master's thesis, School of Computer Science, University of Birmingham","volume":"","number":"","pages":"","year":"1997","abstract":"","location":"","keywords":"","bibtex":"@Article{Alberti1997,\nauthor = {Alberti, FJ}, \ntitle = {An abstract machine based on linear logic and explicit substitutions}, \njournal = {Master\\'s thesis, School of Computer Science, University of Birmingham}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {1997}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Alberti, F."],"key":"Alberti1997","id":"Alberti1997","bibbaseid":"alberti-anabstractmachinebasedonlinearlogicandexplicitsubstitutions-1997","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.829Z","downloads":0,"keywords":[],"search_terms":["abstract","machine","based","linear","logic","explicit","substitutions","alberti"],"title":"An abstract machine based on linear logic and explicit substitutions","year":1997,"dataSources":["hEoKh4ygEAWbAZ5iy"]}