@article{ dblp4607355,
  title = {An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras},
  author = {Martin Hofmann 0001},
  author_short = {Hofmann 0001, M.},
  bibtype = {article},
  type = {article},
  year = {1997},
  key = {dblp4607355},
  id = {dblp4607355},
  biburl = {http://www.dblp.org/rec/bibtex/journals/bsl/Hofmann97},
  url = {http://www.math.ucla.edu/~asl/bsl/0304/0304-003.ps},
  journal = {Bulletin of Symbolic Logic (BSL)},
  pages = {469-486},
  number = {4},
  volume = {3},
  text = {Bulletin of Symbolic Logic (BSL) 3(4):469-486 (1997)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f6c"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-anapplicationofcategorytheoreticsemanticstothecharacterisationofcomplexityclassesusinghigherorderfunctionalgebras-1997","bibdata":{"title":"An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"article","type":"article","year":"1997","key":"dblp4607355","id":"dblp4607355","biburl":"http://www.dblp.org/rec/bibtex/journals/bsl/Hofmann97","url":"http://www.math.ucla.edu/~asl/bsl/0304/0304-003.ps","journal":"Bulletin of Symbolic Logic (BSL)","pages":"469-486","number":"4","volume":"3","text":"Bulletin of Symbolic Logic (BSL) 3(4):469-486 (1997)","bibtex":"@article{ dblp4607355,\n title = {An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {article},\n type = {article},\n year = {1997},\n key = {dblp4607355},\n id = {dblp4607355},\n biburl = {http://www.dblp.org/rec/bibtex/journals/bsl/Hofmann97},\n url = {http://www.math.ucla.edu/~asl/bsl/0304/0304-003.ps},\n journal = {Bulletin of Symbolic Logic (BSL)},\n pages = {469-486},\n number = {4},\n volume = {3},\n text = {Bulletin of Symbolic Logic (BSL) 3(4):469-486 (1997)}\n}","bibbaseid":"hofmann0001-anapplicationofcategorytheoreticsemanticstothecharacterisationofcomplexityclassesusinghigherorderfunctionalgebras-1997","role":"author","urls":{"Paper":"http://www.math.ucla.edu/~asl/bsl/0304/0304-003.ps"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/bsl/Hofmann97","downloads":0,"keywords":[],"search_terms":["application","category","theoretic","semantics","characterisation","complexity","classes","using","higher","order","function","algebras","hofmann 0001"],"title":"An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras","year":1997,"dataSources":["FeSstv2FWMvkkbwMM"]}