"Ordinals and Ordinal Functions Representable in the Simply Typed lambda ..."

Norman Danner (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics