BibTeX Export

@article{Authenticus:P-000-YYV,
	title = {{On principal types of combinators}},
	author = {S Broda and L Damas},
	doi = {10.1016/s0304-3975(99)00086-9},
	journal = {Theoretical Computer Science},
	number = {1-2},
	pages = {277-290},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {247},
	year = {2000}
}