Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Interactive Programs and Weakly Final Coalgebras in Dependent Type TheoryPeter Hancock, Anton Setzer. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

Interactive Programs in Dependent Type TheoryPeter Hancock, Anton Setzer. csl 2000: 317-331 [doi]

runs on WebDSL