@unpublished{setzer:coalgebrasDependentTypeTheory:DTP2010,
author = {Anton Setzer},
title = {Coalgebras in dependent type theory},
note = {Talk given at DTP 2010, workshop associated with LICS 2010},
year = {2010},
abstract = { },
available = {http://www.cs.swan.ac.uk/~csetzer/slides/edinburghDependentlyTypedProgramming2010.pdf}
}