Inductive and Coinductive Types with Iteration and Recursion

Find Full text
Thumbnail
Fulltext:
104054.pdf
Size:
1019.Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
1992
Author(s)
Geuvers, J.H.
Publisher
Bastad : Chalmers University of Technology
In
Nordstrom, B. (ed.), Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad June 1992, Sweden, pp. 183-207
Annotation
1992 Workshop on Types for Proofs and Programs, Bastad June 1992, Sweden
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/104054   https://hdl.handle.net/2066/104054
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.