Ulrich Berger
Recent Papers and Drafts (unpublished)
-
Classical truth in higher types
(
pdf
),
draft paper, May 2007.
-
A domain model characterising strong normalisation
(
pdf
),
draft paper, April 2007.
-
Strong normalization for bar recursion in finite types
(
pdf
,
ps
),
draft paper, 2004.
-
The Berardi-Bezem-Coquand-functional in a domain-theoretic setting
(
ps.gz, 52k
),
draft, July 2002.
-
From Heyting's arithmetic to verified programs
(
ps.gz, 64k
)
(unpublished)