## Martin Hofmann 0001

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

LICS, 1999.

@inproceedings{LICS-1999-Hofmann99a, author = "Martin Hofmann 0001", booktitle = "{Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1999.782641", isbn = "0-7695-0158-3", pages = "464--473", publisher = "{IEEE Computer Society}", title = "{Linear Types and Non-Size-Increasing Polynomial Time Computation}", year = 1999, }