Characterising strongly normalising intuitionistic terms

Fundamenta Informaticae

Journal Article

J. Ivetić

S. Likavec

Publication

Year of publication: 2012

Volume: 121

Issue: 1-4

Pages: 83-120

Identifiers

Locators

Alternative Titles