@article{Kesner_2007,
    doi = {10.1016/j.ic.2006.08.008},
    url = {https://doi.org/10.1016%2Fj.ic.2006.08.008},
    year = {2007},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {205},
    number = {4},
    pages = {419--473},
    author = {Delia Kesner and St{\'{e}}phane Lengrand},
    title = {Resource operators for {$\lambda$}-calculus},
    journal = {Information and Computation}
}

@article{Kesner_2007, doi = {10.1016/j.ic.2006.08.008}, url = {https://doi.org/10.1016%2Fj.ic.2006.08.008}, year = {2007}, month = {apr}, publisher = {Elsevier {BV}}, volume = {205}, number = {4}, pages = {419--473}, author = {Delia Kesner and St{\'{e}}phane Lengrand}, title = {Resource operators for {$\lambda$}-calculus}, journal = {Information and Computation} }