On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics

TitleOn the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics
Publication TypeMaster's Thesis
2002
AuthorsKretz, M
http://www.iam.unibe.ch/ltgpub/2002/kre02.pdf