%0 Journal Article 
%F berger2009
%A Berger, Ulrich
%T Proofs-as-Programs in Computable Analysis
%J Electronic Communications of the EASST (ISSN 1863-2122)
%V 23
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/berger2009.pdf
%U http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/322/305
%D 2009
%K coinduction