On long normal inhabitants of a type

Journal of Logic and Computation

Article

Sabine Broda

L. Damas

Publication

Year of publication: 2005

Volume: 15

Issue: 3

Pages: 353-390

Identifiers

Other: 2-s2.0-20844462930

Locators

DOI

Alternative Titles

Preprint

File