On the proof theory of type two functionals based on primitive recursive operations. Steiner, D. & Strahm, T. Mathematical Logic Quarterly, 52(3):237–252, 2006.
Paper bibtex @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
}
Downloads: 0
{"_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"]}