@article{Hofmann_2003,
    doi = {10.1016/s0890-5401(03)00009-9},
    url = {https://doi.org/10.1016%2Fs0890-5401%2803%2900009-9},
    year = {2003},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {183},
    number = {1},
    pages = {57--85},
    author = {Martin Hofmann},
    title = {Linear types and non-size-increasing polynomial time computation},
    journal = {Information and Computation}
}

@article{Hofmann_2003, doi = {10.1016/s0890-5401(03)00009-9}, url = {https://doi.org/10.1016%2Fs0890-5401%2803%2900009-9}, year = {2003}, month = {may}, publisher = {Elsevier {BV}}, volume = {183}, number = {1}, pages = {57--85}, author = {Martin Hofmann}, title = {Linear types and non-size-increasing polynomial time computation}, journal = {Information and Computation} }