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} }