Monadic translation of intuitionistic sequent calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Journal Article

R. Matthes

L. Pinto

Publication

Year of publication: 2009

Volume: 5497 LNCS

Pages: 100-116

Identifiers

Locators

DOI: 10.1007/978-3-642-02444-3_7

Alternative Titles