Ulrich Berger

Some slides

• Program extraction from proofs: induction and coinduction , Nottingham, 12 February 2010


• A coinductive approach to exact real number computation talk at the workshop New Interactions between Analysis, Topology, and Computation , Birmingham, 7 January 2009


• A coinductive approach to digital computation talk at the workshop Domains IX , University of Sussex, Brighton, 22-24 September, 2008


• From coinductive proofs to exact real arithmetic invited talk at Workshop on Proof Theory , Bern, 9-10 July, 2008


• A domain-theoretic characterisation of strong normalisation in the Lambda-R-calculus, invited talk at Domains VIII , Novosibirsk, 11-15 September, 2007


• A domain-theoretic strong normalisation theorem, invited talk at Methods of Proof Theory in Mathematics , Bonn, 3-10 June, 2007


• Functional concepts in C++, talk at Computability in Europe , Swansea, 30 June - 5 July, 2006


• Semantic normalisation proofs, talk at Types 2006 , Nottingham, 18-21 April, 2006

• Back to my Homepage
• List of publications
• Recent papers and drafts