Degrees, reductions and representability in the lambda calculus
Utrecht : University [of] Utrecht, Department of Mathematics
Preprint ; 22
Number of pages
Display more detailsDisplay less details
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.