Totality in applicative theories

TitleTotality in applicative theories
Publication TypeJournal Article
Year of Publication1995
AuthorsJäger, G, Strahm, T
JournalAnnals of Pure and Applied Logic
Volume74
Pagination105-120
URLhttp://www.iam.unibe.ch/ltgpub/1995/js95b.ps