Linear Types and Non-Size-Increasing Polynomial Time Computation.

Martin Hofmann

Browse the full LICS paper archive.