On applicative theories

TitleOn applicative theories
Publication TypeConference Paper
Year of Publication1999
AuthorsJäger, G, Kahle, R, Strahm, T
EditorCantini, A, Casari, E, Minari, P
Conference NameLogic and Foundations of Mathematics
Pagination83-92
PublisherKluwer
URLhttp://www.iam.unibe.ch/ltgpub/1999/jks99.ps