BibTeX Export

@article{Authenticus:P-000-33X,
	title = {{On long normal inhabitants of a type}},
	author = {S Broda and L Damas},
	doi = {10.1093/logcom/exi016},
	journal = {Journal of Logic and Computation},
	number = {3},
	pages = {353-390},
	publisher = {Oxford Univ Press},
	type = {Article},
	volume = {15},
	year = {2005}
}