On principal types of combinators

Theoretical Computer Science

Article

Sabine Broda

L. Damas

Publication

Year of publication: 2000

Volume: 247

Issue: 1-2

Pages: 277-290

Identifiers

Other: 2-s2.0-0347937266

Locators

DOI

Alternative Titles

Preprint

File