Totality in applicative theories. Jäger, G. & Strahm, T. Annals of Pure and Applied Logic, 74(2):105–120, 1995.
Paper bibtex @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
}
Downloads: 0
{"_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"]}