@article{Coppo_1987,
    doi = {10.1016/0890-5401(87)90042-3},
    url = {https://doi.org/10.1016%2F0890-5401%2887%2990042-3},
    year = {1987},
    month = {feb},
    publisher = {Elsevier {BV}},
    volume = {72},
    number = {2},
    pages = {85--116},
    author = {M. Coppo and M. Dezani-Ciancaglini and M. Zacchi},
    title = {Type theories, normal forms, and D$\infty$-lambda-models},
    journal = {Information and Computation}
}

@article{Coppo_1987, doi = {10.1016/0890-5401(87)90042-3}, url = {https://doi.org/10.1016%2F0890-5401%2887%2990042-3}, year = {1987}, month = {feb}, publisher = {Elsevier {BV}}, volume = {72}, number = {2}, pages = {85--116}, author = {M. Coppo and M. Dezani-Ciancaglini and M. Zacchi}, title = {Type theories, normal forms, and D$\infty$-lambda-models}, journal = {Information and Computation} }