Curry-howard for sequent calculus at last!

Leibniz International Proceedings in Informatics, LIPIcs

Conference Paper

Publication

Year of publication: 2015

Volume: 38

Pages: 165-179

Identifiers

Other: 2-s2.0-84958689627

Locators

Alternative Titles