Induction and Co-induction in Sparkle

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	Induction and Co-induction in Sparkle
Author(s):	Lensink, L. ; Eekelen, M.C.J.D. van
Publication year:	2005
Publisher:	Nijmegen : Radboud Universiteit Nijmegen
Number of Pages:	20 p.
Series:	Technical report ; NIII-R0502
Related links:	https://pms.cs.ru.nl/iris-diglib/src/getContent.php?id=2005-Lensink-InductionCoInduction
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/107664
Display more details
Subject:	Digital Security
Organization:	Digital Security Security of Systems

Faculty of Science [25772]
Open Access publications [47533]
Freely accessible full text publications
Electronic publications [74308]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [165235]
Academic output Radboud University