External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic

Patrick Baillot, Anupam Das. Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic. In Jean-Marc Talbot, Laurent Regnier, editors, 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. Volume 62 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Patrick Baillot

This author has not been identified. Look up 'Patrick Baillot' in Google

Anupam Das

This author has not been identified. Look up 'Anupam Das' in Google
runs on