@article{Barendregt_1983,
    doi = {10.2307/2273659},
    url = {https://doi.org/10.2307%2F2273659},
    year = {1983},
    month = {dec},
    publisher = {Cambridge University Press ({CUP})},
    volume = {48},
    number = {4},
    pages = {931--940},
    author = {Henk Barendregt and Mario Coppo and Mariangiola Dezani-Ciancaglini},
    title = {A filter lambda model and the completeness of type assignment},
    journal = {Journal of Symbolic Logic}
}

@article{Barendregt_1983, doi = {10.2307/2273659}, url = {https://doi.org/10.2307%2F2273659}, year = {1983}, month = {dec}, publisher = {Cambridge University Press ({CUP})}, volume = {48}, number = {4}, pages = {931--940}, author = {Henk Barendregt and Mario Coppo and Mariangiola Dezani-Ciancaglini}, title = {A filter lambda model and the completeness of type assignment}, journal = {Journal of Symbolic Logic} }