Interaction nets for linear logic. Mackie, I Theoretical Computer Science, 247(1-2):83–140, 2000. bibtex @Article{Mackie2000,
author = {Mackie, I},
title = {Interaction nets for linear logic},
journal = {Theoretical Computer Science},
volume = {247},
number = {1-2},
pages = {83--140},
year = {2000},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"vXuKastB8yp5ZfA7u","bibbaseid":"mackie-interactionnetsforlinearlogic-2000","authorIDs":[],"author_short":["Mackie, I"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Mackie"],"firstnames":["I"],"suffixes":[]}],"title":"Interaction nets for linear logic","journal":"Theoretical Computer Science","volume":"247","number":"1-2","pages":"83–140","year":"2000","abstract":"","location":"","keywords":"","bibtex":"@Article{Mackie2000,\nauthor = {Mackie, I}, \ntitle = {Interaction nets for linear logic}, \njournal = {Theoretical Computer Science}, \nvolume = {247}, \nnumber = {1-2}, \npages = {83--140}, \nyear = {2000}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Mackie, I"],"key":"Mackie2000","id":"Mackie2000","bibbaseid":"mackie-interactionnetsforlinearlogic-2000","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.777Z","downloads":0,"keywords":[],"search_terms":["interaction","nets","linear","logic","mackie"],"title":"Interaction nets for linear logic","year":2000,"dataSources":["hEoKh4ygEAWbAZ5iy"]}