Weak Systems of Explicit Mathematics

TitleWeak Systems of Explicit Mathematics
Publication TypePhD Thesis
Year of Publication2009
AuthorsSpescha, D
URLhttp://www.iam.unibe.ch/ltgpub/2009/spe09.pdf