@inproceedings{setzerhancock:venice2003,
author = {Hancock, Peter and Setzer, Anton},
title = {Guarded induction 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 -- 134},
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.}
}