@article{ dblp4422390,
  title = {Safe recursion with higher types and BCK-algebra},
  author = {Martin Hofmann 0001},
  author_short = {Hofmann 0001, M.},
  bibtype = {article},
  type = {article},
  year = {2000},
  key = {dblp4422390},
  id = {dblp4422390},
  biburl = {http://www.dblp.org/rec/bibtex/journals/apal/Hofmann00},
  url = {http://dx.doi.org/10.1016/S0168-0072(00)00010-5},
  journal = {Ann. Pure Appl. Logic (APAL)},
  pages = {113-166},
  number = {1-3},
  volume = {104},
  text = {Ann. Pure Appl. Logic (APAL) 104(1-3):113-166 (2000)}
}

{"_id":{"_str":"52a3062f9eb585cc26001f65"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M."],"bibbaseid":"hofmann0001-saferecursionwithhighertypesandbckalgebra-2000","bibdata":{"title":"Safe recursion with higher types and BCK-algebra","author":["Martin Hofmann 0001"],"author_short":["Hofmann 0001, M."],"bibtype":"article","type":"article","year":"2000","key":"dblp4422390","id":"dblp4422390","biburl":"http://www.dblp.org/rec/bibtex/journals/apal/Hofmann00","url":"http://dx.doi.org/10.1016/S0168-0072(00)00010-5","journal":"Ann. Pure Appl. Logic (APAL)","pages":"113-166","number":"1-3","volume":"104","text":"Ann. Pure Appl. Logic (APAL) 104(1-3):113-166 (2000)","bibtex":"@article{ dblp4422390,\n title = {Safe recursion with higher types and BCK-algebra},\n author = {Martin Hofmann 0001},\n author_short = {Hofmann 0001, M.},\n bibtype = {article},\n type = {article},\n year = {2000},\n key = {dblp4422390},\n id = {dblp4422390},\n biburl = {http://www.dblp.org/rec/bibtex/journals/apal/Hofmann00},\n url = {http://dx.doi.org/10.1016/S0168-0072(00)00010-5},\n journal = {Ann. Pure Appl. Logic (APAL)},\n pages = {113-166},\n number = {1-3},\n volume = {104},\n text = {Ann. Pure Appl. Logic (APAL) 104(1-3):113-166 (2000)}\n}","bibbaseid":"hofmann0001-saferecursionwithhighertypesandbckalgebra-2000","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/S0168-0072(00)00010-5"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/apal/Hofmann00","downloads":0,"keywords":[],"search_terms":["safe","recursion","higher","types","bck","algebra","hofmann 0001"],"title":"Safe recursion with higher types and BCK-algebra","year":2000,"dataSources":["PzAMTesw85RYBpvKZ"]}