Anton Setzer, Peter Hancock. Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). In Thorsten Altenkirch, Martin Hofmann 0001, John Hughes, editors, Dependently Typed Programming, 12.09. - 17.09.2004. Volume 04381 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2004. [doi]
Abstract is missing.