Publications
Pregrammars and Intersection Types
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference). | 2021 | inproceedings
Publication
Year of publication: 2021
Volume : 183
Pages : 14:1-14:22
Month :
CMUP publication : Yes