A note on preservation of strong normalisation in the λ-calculus

Theoretical Computer Science

Journal Article

Publication

Year of publication: 2011

Volume: 412

Issue: 11

Pages: 1027-1032

Identifiers

Locators

Alternative Titles