A relative definability result for strongly stable functions and some corollaries (1997)

by T Ehrhard
Venue:Information and Computation