Ulrich Berger
Some slides

Program extraction from proofs
Autumn School ``Proof and Computation''
Fischbachau, September 1622, 2018
( Swansea University Logic Notes)
(Interactive Prover (written in Haskell))

On the computational content of Brouwer's Thesis
Workshop on Constructive Mathematics, Hausdorff Institute, Bonn,
August 610, 2018

From abstract mathematics to verified programs
HilbertBernays Summer School on Logic and Computation,
Göttingen, July 2327, 2018
( Swansea University Logic Notes)
(Interactive Prover (written in Haskell))

Scott Domains for Denotational Semantics and Program Extraction
Workshop DOMAINS, 78 July, 2018, Oxford (part of FLoC)

CS205 Chapter 6

Concurrent and nondeterministic program extraction (handout)
Workshop on Intersection Types, Paris, 13 June 2016

Concurrent and nondeterministic program extraction
Workshop on Intersection Types, Paris, 13 June 2016

A coinductive approach to computable analysis
Duality in Computer Science, Dagstuhl, 31 July 2013

Program Extraction in Church's Simple Theory of Types with
Applications to Computable Analysis
CCA, Nancy, 9 July 2013

Coinduction and program extraction in computable analysis
(
handout)
,
CLMPS, Nancy, 25 July 2011

Program extraction in computable analysis
,
CiE, Sofia, 29 June 2011

Program extraction from proofs
,
MFPS, Pittsburgh, 25 May 2011

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, 2224 September, 2008

From coinductive proofs to exact real arithmetic
invited talk at
Workshop on Proof Theory
,
Bern, 910 July, 2008

A domaintheoretic characterisation of strong normalisation
in the LambdaRcalculus,
invited talk at
Domains VIII
,
Novosibirsk, 1115 September, 2007

A domaintheoretic strong normalisation theorem,
invited talk at
Methods of Proof Theory in Mathematics
,
Bonn, 310 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, 1821 April, 2006
Old slides