Continuation-passing style and strong normalisation for intuitionistic sequent calculi

Log. Methods Comput. Sci.

Journal Article

Publication

Year of publication: 2009

Issue: Special issue: Selected papers of the conference ``Typed
Lambda Calculi and Applications 2007''

Pages: 2:11, 36

Identifiers

Other: MR2771229

Locators

Alternative Titles