Applicative theories on tree ordinal numbers

TitleApplicative theories on tree ordinal numbers
Publication TypeMaster's Thesis
2011
AuthorsFabian, D
http://www.iam.unibe.ch/ltgpub/2011/fab11.pdf