Authenticus:P-00R-0XE | CMUP

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

Electronic Notes in Theoretical Computer Science | 2019 | inproceedings

Publication

Year of publication: 2019

Volume : 344

Pages : 25-45

Month :

CMUP publication : Yes

Authors

S Alves