@article{Levy_2006,
    doi = {10.1007/s10990-006-0480-6},
    url = {https://doi.org/10.1007%2Fs10990-006-0480-6},
    year = {2006},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {19},
    number = {4},
    pages = {377--414},
    author = {Paul Blain Levy},
    title = {Call-by-push-value: Decomposing call-by-value and call-by-name},
    journal = {Higher-Order and Symbolic Computation}
}

@article{Levy_2006, doi = {10.1007/s10990-006-0480-6}, url = {https://doi.org/10.1007%2Fs10990-006-0480-6}, year = {2006}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {19}, number = {4}, pages = {377--414}, author = {Paul Blain Levy}, title = {Call-by-push-value: Decomposing call-by-value and call-by-name}, journal = {Higher-Order and Symbolic Computation} }