BibTeX Export

@inproceedings{Authenticus:P-00T-D5A,
	title = {{Pregrammars and Intersection Types}},
	author = {S Broda},
	booktitle = {29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference).},
	doi = {10.4230/lipics.csl.2021.14},
	pages = {14:1-14:22},
	publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
	type = {Proceedings Paper},
	volume = {183},
	year = {2021}
}