Aspekte beweisbar totaler Funktionen in applikativen Theorien

TitleAspekte beweisbar totaler Funktionen in applikativen Theorien
Publication TypeMaster's Thesis
2009
AuthorsEberhard, S
http://www.iam.unibe.ch/ltgpub/2009/ebe09.pdf