Projects top banner

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types

Electronic Notes in Theoretical Computer Science

Article

S. Alves

Publication

Year of publication: 2019

Volume: 344

Pages: 25-45

Identifiers

Other: 2-s2.0-85075142343

Locators

Alternative Titles

Preprint

File