@inproceedings{setzerhancock:venice2003,
author = {Hancock, Peter and Setzer, Anton},
title = {Interactive programs and weakly final coalgebras
in dependent type theory},
editor = {L. Crosilla and P. Schuster},
booktitle = {From Sets and Types to Topology and Analysis. Towards Practicable
Foundations for Constructive Mathematics},
publisher = {Clarendon Press},
address = {Oxford},
year = {2005},
pages = {115 -- 136},
isbn={9780198566519},
openAccess={http://www.cs.swan.ac.uk/~csetzer/articles/venice2004.pdf},
comment = {Proceedings of conference ``From Sets and Types to Topology and Analysis. Towards Practicable
Foundations for Constructive Mathematics'', 12-16 May 2003,
Venice International University (VIU), San Servolo, Venice, Italy.}
}