@article{Broda_2005,
    doi = {10.1093/logcom/exi016},
    url = {https://doi.org/10.1093%2Flogcom%2Fexi016},
    year = {2005},
    month = {jun},
    publisher = {Oxford University Press ({OUP})},
    volume = {15},
    number = {3},
    pages = {353--390},
    author = {Sabine Broda and Lu{\'{\i}}s Damas},
    title = {On Long Normal Inhabitants of a Type},
    journal = {Journal of Logic and Computation}
}

@article{Broda_2005, doi = {10.1093/logcom/exi016}, url = {https://doi.org/10.1093%2Flogcom%2Fexi016}, year = {2005}, month = {jun}, publisher = {Oxford University Press ({OUP})}, volume = {15}, number = {3}, pages = {353--390}, author = {Sabine Broda and Lu{\'{\i}}s Damas}, title = {On Long Normal Inhabitants of a Type}, journal = {Journal of Logic and Computation} }