KIT | KIT-Bibliothek | Impressum | Datenschutz

Coinductive

Lochbihler, Andreas

Abstract:

This article collects formalisations of general-purpose coinductive data types and sets. Currently, it contains coinductive natural numbers, coinductive lists, i.e. lazy lists or streams, and a library of operations on coinductive lists.
The initial theory was contributed by Paulson and Wenzel. Extensions and other coinductive formalisations of general interest are welcome.


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2010
Sprache Englisch
Identifikator ISSN: 2150-914X
KITopen-ID: 1000017644
Erschienen in The Archive of Formal Proofs
Heft 2
Seiten 100 S.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page