Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Ulrich Berger, Recent Papers and Drafts
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)