@TechReport{kah96b,
  Author         = {Reinhard Kahle},
  Title          = {{F}rege structures for partial applicative theories},
  Institution    = {Universit{\"a}t Bern},
  Number         = {IAM{--}96{--}013},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  year           = 1996
}

{"_id":"T3keyj7srfDcDi3rB","bibbaseid":"kahle-fregestructuresforpartialapplicativetheories-1996","authorIDs":[],"author_short":["Kahle, R."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Reinhard"],"propositions":[],"lastnames":["Kahle"],"suffixes":[]}],"title":"Frege structures for partial applicative theories","institution":"Universität Bern","number":"IAM–96–013","address":"Institut für Informatik und angewandte Mathematik","year":"1996","bibtex":"@TechReport{kah96b,\n Author = {Reinhard Kahle},\n Title = {{F}rege structures for partial applicative theories},\n Institution = {Universit{\\\"a}t Bern},\n Number = {IAM{--}96{--}013},\n Address = {Institut f{\\\"u}r Informatik und angewandte Mathematik},\n year = 1996\n}\n\n","author_short":["Kahle, R."],"key":"kah96b","id":"kah96b","bibbaseid":"kahle-fregestructuresforpartialapplicativetheories-1996","role":"author","urls":{},"downloads":0},"bibtype":"techreport","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.137Z","downloads":0,"keywords":[],"search_terms":["frege","structures","partial","applicative","theories","kahle"],"title":"Frege structures for partial applicative theories","year":1996,"dataSources":["jFQMeatnEb8qn3qdH"]}