Size Calculus for a Higher-Order order functional language
Publication year
2012Publisher
Nijmegen : ICIS, Radboud University Nijmegen
Series
Technical Report ; ICIS-R12005
Number of pages
14 p.
Publication type
External research report

Display more detailsDisplay less details
Organization
Digital Security
Security of Systems
Subject
Technical Report; Digital SecurityThis item appears in the following Collection(s)
- Academic publications [234419]
- Electronic publications [117392]
- Faculty of Science [34584]
- Open Access publications [84338]
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.