@article{Mendler_1991,
    doi = {10.1016/0168-0072(91)90069-x},
    url = {https://doi.org/10.1016%2F0168-0072%2891%2990069-x},
    year = {1991},
    month = {mar},
    publisher = {Elsevier {BV}},
    volume = {51},
    number = {1-2},
    pages = {159--172},
    author = {Nax Paul Mendler},
    title = {Inductive types and type constraints in the second-order lambda calculus},
    journal = {Annals of Pure and Applied Logic}
}

@article{Mendler_1991, doi = {10.1016/0168-0072(91)90069-x}, url = {https://doi.org/10.1016%2F0168-0072%2891%2990069-x}, year = {1991}, month = {mar}, publisher = {Elsevier {BV}}, volume = {51}, number = {1-2}, pages = {159--172}, author = {Nax Paul Mendler}, title = {Inductive types and type constraints in the second-order lambda calculus}, journal = {Annals of Pure and Applied Logic} }