Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani. Relative Definability and Models of Unary PCF. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Volume 2701 of Lecture Notes in Computer Science, pages 75-89, Springer, 2003. [doi]
Abstract is missing.