@article{Garner_2017,
    doi = {10.1093/logcom/exx029},
    url = {https://doi.org/10.1093%2Flogcom%2Fexx029},
    year = {2017},
    month = {nov},
    publisher = {Oxford University Press ({OUP})},
    volume = {28},
    number = {1},
    pages = {33--83},
    author = {Richard Garner and Tom Hirschowitz},
    title = {Shapely monads and analytic functors},
    journal = {Journal of Logic and Computation}
}

@article{Garner_2017, doi = {10.1093/logcom/exx029}, url = {https://doi.org/10.1093%2Flogcom%2Fexx029}, year = {2017}, month = {nov}, publisher = {Oxford University Press ({OUP})}, volume = {28}, number = {1}, pages = {33--83}, author = {Richard Garner and Tom Hirschowitz}, title = {Shapely monads and analytic functors}, journal = {Journal of Logic and Computation} }