A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries

Thomas Ehrhard. A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. Inf. Comput., 152(1):111-137, 1999.

Abstract

Abstract is missing.