@inproceedings{ dblp4413772,
  title = {From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour},
  author = {Martin Hofmann 0001},
  author_short = {Hofmann 0001, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2001},
  key = {dblp4413772},
  id = {dblp4413772},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tlca/Hofmann01},
  url = {http://dx.doi.org/10.1007/3-540-45413-6_2},
  conference = {TLCA},
  pages = {2-3},
  text = {TLCA 2001:2-3},
  booktitle = {Proceedings of Typed Lambda Calculus and Applications (TLCA)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f4e"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-fromboundedarithmetictomemorymanagementuseoftypetheorytocapturecomplexityclassesandspacebehaviour-2001","bibdata":{"title":"From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2001","key":"dblp4413772","id":"dblp4413772","biburl":"http://www.dblp.org/rec/bibtex/conf/tlca/Hofmann01","url":"http://dx.doi.org/10.1007/3-540-45413-6_2","conference":"TLCA","pages":"2-3","text":"TLCA 2001:2-3","booktitle":"Proceedings of Typed Lambda Calculus and Applications (TLCA)","bibtex":"@inproceedings{ dblp4413772,\n title = {From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2001},\n key = {dblp4413772},\n id = {dblp4413772},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tlca/Hofmann01},\n url = {http://dx.doi.org/10.1007/3-540-45413-6_2},\n conference = {TLCA},\n pages = {2-3},\n text = {TLCA 2001:2-3},\n booktitle = {Proceedings of Typed Lambda Calculus and Applications (TLCA)}\n}","bibbaseid":"hofmann0001-fromboundedarithmetictomemorymanagementuseoftypetheorytocapturecomplexityclassesandspacebehaviour-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-45413-6_2"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tlca/Hofmann01","downloads":0,"keywords":[],"search_terms":["bounded","arithmetic","memory","management","use","type","theory","capture","complexity","classes","space","behaviour","hofmann 0001"],"title":"From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour","year":2001,"dataSources":["Wj7RAcNEQrHefbNxJ"]}