Continuation-passing style and strong normalisation for intuitionistic sequent calculi

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

Book

R. Matthes

Publication

Year of publication: 2007

Volume: 4583 LNCS

Pages: 133-147

Identifiers

Other: 2-s2.0-38149021519

Locators

Alternative Titles