A note on strong normalization in classical natural deduction

Electronic Proceedings in Theoretical Computer Science, EPTCS

Conference Paper

Publication

Year of publication: 2016

Volume: 213

Pages: 41-51

Identifiers

Other: 2-s2.0-84992179931

Locators

Alternative Titles