Revisiting the correspondence between cut elimination and normalisation

Lecture Notes in Computer Science, vol. 1853

Journal Article

Publication

Pages: 600-611

Identifiers

Other: MR1795920 (2001i:03118)

Locators

Alternative Titles