Monadic translation of classical sequent calculus

Mathematical Structures in Computer Science

Journal Article

R. Matthes

K. Nakazawa

Publication

Year of publication: 2013

Volume: 23

Issue: 6

Pages: 1111-1162

Identifiers

Other: 2-s2.0-84887006222

Locators

Alternative Titles