A relative PCF-definability result for strongly stable functions and some corollaries (1999)

by T Ehrhard
Venue:Information and Computation