Induction and Co-induction in Sparkle

Find Full text
Thumbnail
Fulltext:
107666.pdf
Size:
246.8Kb
Format:
PDF
Description:
author's version
Download
Publication year
2004
Author(s)
Lensink, L.
Eekelen, M.C.J.D. van
Publisher
München : Ludwig-Maximilians Universit"at
In
Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings, pp. 273-293
Annotation
Fifth Symposium on Trends in Functional Programming (TFP 2004)
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item:http://hdl.handle.net/2066/107666   http://hdl.handle.net/2066/107666
Display more details

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.