@MastersThesis{ebe09,
  Author         = {Eberhard, Sebastian},
  Title          = {Aspekte beweisbar totaler {F}unktionen in applikativen
                   {T}heorien},
  School         = {Universit\"at Bern},
  Address        = {Institut f\"ur Informatik und angewandte Mathematik},
  url            = {2009/ebe09.pdf},
  year           = 2009
}

{"_id":"EMg7CdpHEWghQZ9vX","bibbaseid":"eberhard-aspektebeweisbartotalerfunktioneninapplikativentheorien-2009","authorIDs":[],"author_short":["Eberhard, S."],"bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","author":[{"propositions":[],"lastnames":["Eberhard"],"firstnames":["Sebastian"],"suffixes":[]}],"title":"Aspekte beweisbar totaler Funktionen in applikativen Theorien","school":"Universität Bern","address":"Institut für Informatik und angewandte Mathematik","url":"2009/ebe09.pdf","year":"2009","bibtex":"@MastersThesis{ebe09,\n Author = {Eberhard, Sebastian},\n Title = {Aspekte beweisbar totaler {F}unktionen in applikativen\n {T}heorien},\n School = {Universit\\\"at Bern},\n Address = {Institut f\\\"ur Informatik und angewandte Mathematik},\n url = {2009/ebe09.pdf},\n year = 2009\n}\n\n\n","author_short":["Eberhard, S."],"key":"ebe09","id":"ebe09","bibbaseid":"eberhard-aspektebeweisbartotalerfunktioneninapplikativentheorien-2009","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2009/ebe09.pdf"},"downloads":0},"bibtype":"mastersthesis","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.126Z","downloads":0,"keywords":[],"search_terms":["aspekte","beweisbar","totaler","funktionen","applikativen","theorien","eberhard"],"title":"Aspekte beweisbar totaler Funktionen in applikativen Theorien","year":2009,"dataSources":["jFQMeatnEb8qn3qdH"]}