Martin Hofmann. The strength of non-size increasing computation. In POPL. pages 260-269, 2002. [doi]
@inproceedings{Hofmann02:0, title = {The strength of non-size increasing computation}, author = {Martin Hofmann}, year = {2002}, doi = {10.1145/503272.503297}, url = {http://doi.acm.org/10.1145/503272.503297}, researchr = {https://researchr.org/publication/Hofmann02%3A0}, cites = {0}, citedby = {0}, pages = {260-269}, booktitle = {POPL}, }