Reflections on reflections in explicit mathematics

TitleReflections on reflections in explicit mathematics
Publication TypeJournal Article
Year of Publication2005
AuthorsJäger, G, Strahm, T
JournalAnnals of Pure and Applied Logic
Volume136
Pagination116-133
URLhttp://www.iam.unibe.ch/ltgpub/2005/js05.pdf