@Article{kah98,
  Author         = {Reinhard Kahle},
  Title          = {{F}rege structures for partial applicative theories},
  Journal        = {Journal of Logic and Computation},
  Volume         = {8},
  Number         = {5},
  Pages          = {683{--}700},
  doi            = {10.1093/logcom/9.5.683},
  url            = {http://dx.doi.org/10.1093/logcom/9.5.683},
  year           = 1998
}

{"_id":"TyuSkreAzbtPA5CL2","bibbaseid":"kahle-fregestructuresforpartialapplicativetheories-1998","authorIDs":[],"author_short":["Kahle, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Reinhard"],"propositions":[],"lastnames":["Kahle"],"suffixes":[]}],"title":"Frege structures for partial applicative theories","journal":"Journal of Logic and Computation","volume":"8","number":"5","pages":"683–700","doi":"10.1093/logcom/9.5.683","url":"http://dx.doi.org/10.1093/logcom/9.5.683","year":"1998","bibtex":"@Article{kah98,\n Author = {Reinhard Kahle},\n Title = {{F}rege structures for partial applicative theories},\n Journal = {Journal of Logic and Computation},\n Volume = {8},\n Number = {5},\n Pages = {683{--}700},\n doi = {10.1093/logcom/9.5.683},\n url = {http://dx.doi.org/10.1093/logcom/9.5.683},\n year = 1998\n}\n\n","author_short":["Kahle, R."],"key":"kah98","id":"kah98","bibbaseid":"kahle-fregestructuresforpartialapplicativetheories-1998","role":"author","urls":{"Paper":"http://dx.doi.org/10.1093/logcom/9.5.683"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.040Z","downloads":0,"keywords":[],"search_terms":["frege","structures","partial","applicative","theories","kahle"],"title":"Frege structures for partial applicative theories","year":1998,"dataSources":["jFQMeatnEb8qn3qdH"]}