We show that to every recursive total continuous functional Φ there is a PCF-definable representative Ψ of Φ in the hierarchy of partial continuous functionals, where PCF is Plotkin's programming ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results