Higher Inductive Types in Programming
SourceJournal of Universal Computer Science, 23, 1, (2017), pp. 63-88
Article / Letter to editor
Display more detailsDisplay less details
Journal of Universal Computer Science
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.