@Article{ss06,
  Author         = {David Steiner and Thomas Strahm},
  Title          = {On the proof theory of type two functionals based on
                   primitive recursive operations},
  Journal        = {Mathematical Logic Quarterly},
  Volume         = {52},
  Number         = {3},
  Pages          = {237{--}252},
  url            = {2006/ss06.pdf},
  year           = 2006
}

{"_id":"hrkyWEDDZubr5JgHS","bibbaseid":"steiner-strahm-ontheprooftheoryoftypetwofunctionalsbasedonprimitiverecursiveoperations-2006","authorIDs":[],"author_short":["Steiner, D.","Strahm, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Steiner"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Strahm"],"suffixes":[]}],"title":"On the proof theory of type two functionals based on primitive recursive operations","journal":"Mathematical Logic Quarterly","volume":"52","number":"3","pages":"237–252","url":"2006/ss06.pdf","year":"2006","bibtex":"@Article{ss06,\n Author = {David Steiner and Thomas Strahm},\n Title = {On the proof theory of type two functionals based on\n primitive recursive operations},\n Journal = {Mathematical Logic Quarterly},\n Volume = {52},\n Number = {3},\n Pages = {237{--}252},\n url = {2006/ss06.pdf},\n year = 2006\n}\n\n","author_short":["Steiner, D.","Strahm, T."],"key":"ss06","id":"ss06","bibbaseid":"steiner-strahm-ontheprooftheoryoftypetwofunctionalsbasedonprimitiverecursiveoperations-2006","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2006/ss06.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.117Z","downloads":0,"keywords":[],"search_terms":["proof","theory","type","two","functionals","based","primitive","recursive","operations","steiner","strahm"],"title":"On the proof theory of type two functionals based on primitive recursive operations","year":2006,"dataSources":["jFQMeatnEb8qn3qdH"]}