Stateless HOL

Find Full text
Thumbnail
Fulltext:
92369.pdf
Size:
120.4Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2011
Author(s)
Wiedijk, F.
Publisher
S.l. : EPTCS
In
Electronic Proceedings in Theoretical Computer Science, (2011)Hirschowitz, T. (ed.), Proceedings Types for Proofs and Programs, Revised Selected Papers Aussois, France, 12-15th May 2009, pp. 47-61
ISSN
DOI
Annotation
Types for Proofs and Programs, Revised Selected Papers, Aussois, France, 12-15th May 2009
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/92369   https://hdl.handle.net/2066/92369
Display more details

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.