"Relative Definability and Models of Unary PCF."

Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics