Contraction-free proofs and finitary games for Linear Logic. Hirschowitz, A., Hirschowitz, M., & Hirschowitz, T. CoRR, 2009. Link Paper bibtex @article{journals/corr/abs-0905-4064,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Hirschowitz, André and Hirschowitz, Michel and Hirschowitz, Tom},
biburl = {https://www.bibsonomy.org/bibtex/2c34b53cec8b6a94c5c1f5963fba23c43/dblp},
ee = {http://arxiv.org/abs/0905.4064},
interhash = {1585b5fcbfc314fa6370278514484666},
intrahash = {c34b53cec8b6a94c5c1f5963fba23c43},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T13:17:15.000+0200},
title = {Contraction-free proofs and finitary games for Linear Logic},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0905.html#abs-0905-4064},
volume = {abs/0905.4064},
year = 2009
}
Downloads: 0
{"_id":"ZJxsh566rvSWYpE2C","bibbaseid":"hirschowitz-hirschowitz-hirschowitz-contractionfreeproofsandfinitarygamesforlinearlogic-2009","downloads":0,"creationDate":"2018-08-20T17:47:16.390Z","title":"Contraction-free proofs and finitary games for Linear Logic","author_short":["Hirschowitz, A.","Hirschowitz, M.","Hirschowitz, T."],"year":2009,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/tom?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2018-08-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Hirschowitz"],"firstnames":["André"],"suffixes":[]},{"propositions":[],"lastnames":["Hirschowitz"],"firstnames":["Michel"],"suffixes":[]},{"propositions":[],"lastnames":["Hirschowitz"],"firstnames":["Tom"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c34b53cec8b6a94c5c1f5963fba23c43/dblp","ee":"http://arxiv.org/abs/0905.4064","interhash":"1585b5fcbfc314fa6370278514484666","intrahash":"c34b53cec8b6a94c5c1f5963fba23c43","journal":"CoRR","keywords":"dblp","timestamp":"2018-08-14T13:17:15.000+0200","title":"Contraction-free proofs and finitary games for Linear Logic","url":"http://dblp.uni-trier.de/db/journals/corr/corr0905.html#abs-0905-4064","volume":"abs/0905.4064","year":"2009","bibtex":"@article{journals/corr/abs-0905-4064,\n added-at = {2018-08-13T00:00:00.000+0200},\n author = {Hirschowitz, André and Hirschowitz, Michel and Hirschowitz, Tom},\n biburl = {https://www.bibsonomy.org/bibtex/2c34b53cec8b6a94c5c1f5963fba23c43/dblp},\n ee = {http://arxiv.org/abs/0905.4064},\n interhash = {1585b5fcbfc314fa6370278514484666},\n intrahash = {c34b53cec8b6a94c5c1f5963fba23c43},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2018-08-14T13:17:15.000+0200},\n title = {Contraction-free proofs and finitary games for Linear Logic},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr0905.html#abs-0905-4064},\n volume = {abs/0905.4064},\n year = 2009\n}\n\n","author_short":["Hirschowitz, A.","Hirschowitz, M.","Hirschowitz, T."],"key":"journals/corr/abs-0905-4064","id":"journals/corr/abs-0905-4064","bibbaseid":"hirschowitz-hirschowitz-hirschowitz-contractionfreeproofsandfinitarygamesforlinearlogic-2009","role":"author","urls":{"Link":"http://arxiv.org/abs/0905.4064","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr0905.html#abs-0905-4064"},"keyword":["dblp"],"downloads":0},"search_terms":["contraction","free","proofs","finitary","games","linear","logic","hirschowitz","hirschowitz","hirschowitz"],"keywords":["dblp"],"authorIDs":[],"dataSources":["NyBbkYhtYKHg8fY2r"]}