## Martin Hofmann 0001

*From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour*

TLCA, 2001.

@inproceedings{TLCA-2001-Hofmann, author = "Martin Hofmann 0001", booktitle = "{Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/3-540-45413-6_2", isbn = "3-540-41960-8", pages = "2--3", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour}", volume = 2044, year = 2001, }