The Basic Feasible Functionals in Bounded Arithmetic

TitleThe Basic Feasible Functionals in Bounded Arithmetic
Publication TypeMaster's Thesis
2008
AuthorsLiniger, S
http://www.iam.unibe.ch/ltgpub/2008/lin08.pdf