Equivalences between pure type systems and systems of illative combinatory logic
SourceNotre Dame Journal of Formal Logic, 46, 2, (2005), pp. 181-205
Article / Letter to editor
Display more detailsDisplay less details
Notre Dame Journal of Formal 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.