BibTeX Export

@inproceedings{Authenticus:P-00R-0XE,
	title = {{Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types}},
	author = {S Alves and S Broda},
	booktitle = {Electronic Notes in Theoretical Computer Science},
	doi = {10.1016/j.entcs.2019.07.003},
	pages = {25-45},
	publisher = {Elsevier},
	type = {Proceedings Paper},
	volume = {344},
	year = {2019}
}