Global representation of recursive functions in lambda-calculus
SourceJournal of Symbolic Logic, 39, 2, (1974), pp. 372
Article / Letter to editor
Display more detailsDisplay less details
Journal of Symbolic 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.