POPLMark reloaded: Mechanizing proofs by logical relations
until further notice
SourceJournal of Functional Programming, 29, (2019), pp. 1-43, article e19
Article / Letter to editor
Display more detailsDisplay less details
Journal of Functional Programming
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.