@article{ATKEY_2009,
    doi = {10.1017/s095679680900728x},
    url = {https://doi.org/10.1017%2Fs095679680900728x},
    year = {2009},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {19},
    number = {3-4},
    pages = {335--376},
    author = {ROBERT ATKEY},
    title = {Parameterised notions of computation},
    journal = {Journal of Functional Programming}
}

@article{ATKEY_2009, doi = {10.1017/s095679680900728x}, url = {https://doi.org/10.1017%2Fs095679680900728x}, year = {2009}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {19}, number = {3-4}, pages = {335--376}, author = {ROBERT ATKEY}, title = {Parameterised notions of computation}, journal = {Journal of Functional Programming} }