Fulltext present in this item

Thumbnail
Fulltext: 175402.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Proof principles for datatypes with iterated recursion
Author(s): Hensel, U.; Jacobs, B.P.F.
Publication year: 1997
In: Moggi, E.; Rosolini, G. (ed.), Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings, pp. 220-241
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg
ISBN: 9783540695523
DOI: http://dx.doi.org/10.1007/BFb0026991
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/175402   https://hdl.handle.net/2066/175402

Display more details
Subject: Digital Security
Organization: Digital Security
Book title: Moggi, E.; Rosolini, G. (ed.), Category Theory and Computer Science: 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997 Proceedings
Page start: p. 220
Page end: p. 241

This item appears in the following Collection(s)

Browse

Statistics