Monadic translation of intuitionistic sequent calculus

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

Book

R. Matthes

Publication

Year of publication: 2009

Volume: 5497 LNCS

Pages: 100-116

Identifiers

Other: 2-s2.0-68749094308

Locators

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

Alternative Titles