%0 Conference Paper %1 conf/csl/BaillotD16 %A Baillot, Patrick %A Das, Anupam %B CSL %D 2016 %E Talbot, Jean-Marc %E Regnier, Laurent %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 40:1-40:18 %T Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic. %U http://dblp.uni-trier.de/db/conf/csl/csl2016.html#BaillotD16 %V 62 %@ 978-3-95977-022-4

@inproceedings{conf/csl/BaillotD16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baillot, Patrick and Das, Anupam}, biburl = {https://www.bibsonomy.org/bibtex/2a854607ce59d3beaa2758c13856d4e23/dblp}, booktitle = {CSL}, crossref = {conf/csl/2016}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2016.40}, interhash = {7d3458f88387ad2db6716a569dd6e8af}, intrahash = {a854607ce59d3beaa2758c13856d4e23}, isbn = {978-3-95977-022-4}, keywords = {dblp}, pages = {40:1-40:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:15.000+0200}, title = {Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2016.html#BaillotD16}, volume = 62, year = 2016 }