Induction and Co-induction in Sparkle

Fulltext present in this item

Format: PDF

Description: author's version

Title:	Induction and Co-induction in Sparkle
Author(s):	Lensink, L. ; Eekelen, M.C.J.D. van
Publication year:	2004
In:	Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings, pp. 273-293
Publisher:	München : Ludwig-Maximilians Universit"at
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
Display more details
Editor(s):	Loidl, H.W.
Subject:	Security of Systems
Organization:	Digital Security Security of Systems
Book title:	Loidl, H.W. (ed.), Trends in Functional Programming (TFP 2004) : Proceedings
Page start:	p. 273
Page end:	p. 293

Faculty of Science [25858]
Open Access publications [47662]
Freely accessible full text publications
Electronic publications [74476]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [165514]
Academic output Radboud University