@Article{js95b,
  Author         = {Gerhard J{\"a}ger and Thomas Strahm},
  Title          = {Totality in applicative theories},
  Journal        = {Annals of Pure and Applied Logic},
  Volume         = {74},
  Number         = {2},
  Pages          = {105{--}120},
  url            = {1995/js95b.ps},
  year           = 1995
}

{"_id":"2rx2wrDAL32wZM3Hm","bibbaseid":"jger-strahm-totalityinapplicativetheories-1995","authorIDs":[],"author_short":["Jäger, G.","Strahm, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Strahm"],"suffixes":[]}],"title":"Totality in applicative theories","journal":"Annals of Pure and Applied Logic","volume":"74","number":"2","pages":"105–120","url":"1995/js95b.ps","year":"1995","bibtex":"@Article{js95b,\n Author = {Gerhard J{\\\"a}ger and Thomas Strahm},\n Title = {Totality in applicative theories},\n Journal = {Annals of Pure and Applied Logic},\n Volume = {74},\n Number = {2},\n Pages = {105{--}120},\n url = {1995/js95b.ps},\n year = 1995\n}\n\n","author_short":["Jäger, G.","Strahm, T."],"key":"js95b","id":"js95b","bibbaseid":"jger-strahm-totalityinapplicativetheories-1995","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/1995/js95b.ps"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.070Z","downloads":0,"keywords":[],"search_terms":["totality","applicative","theories","jäger","strahm"],"title":"Totality in applicative theories","year":1995,"dataSources":["jFQMeatnEb8qn3qdH"]}