Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
SourceAnnals of Pure and Applied Logic, 79, 3, (1996), pp. 221-280
Article / Letter to editor
Display more detailsDisplay less details
Annals of Pure and Applied Logic
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.