@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A