@incollection{Coquand_1990,
    doi = {10.1007/3-540-52335-9_47},
    url = {https://doi.org/10.1007%2F3-540-52335-9_47},
    year = {1990},
    publisher = {Springer Berlin Heidelberg},
    pages = {50--66},
    author = {Thierry Coquand and Christine Paulin},
    title = {Inductively defined types},
    booktitle = {{COLOG}-88}
}

@incollection{Coquand_1990, doi = {10.1007/3-540-52335-9_47}, url = {https://doi.org/10.1007%2F3-540-52335-9_47}, year = {1990}, publisher = {Springer Berlin Heidelberg}, pages = {50--66}, author = {Thierry Coquand and Christine Paulin}, title = {Inductively defined types}, booktitle = {{COLOG}-88} }