Guarded induction and weakly final coalgebras in dependent type theory (2005)

by Peter Hancock, Anton Setzer
Venue:From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics, pages 115 – 134