A synthesis of the procedural and declarative styles of interactive theorem proving
SourceLogical Methods in Computer Science, 8, 1:30, (2012), pp. 1-26
Article / Letter to editor
Display more detailsDisplay less details
Logical Methods in 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.