Explicit mathematics: power types and overloading

TitleExplicit mathematics: power types and overloading
Publication TypeJournal Article
Year of Publication2005
AuthorsStuder, T
JournalAnnals of Pure and Applied Logic
Volume134
Pagination284-302
URLhttp://www.iam.unibe.ch/ltgpub/2005/stu05a.pdf