Model C of the partial continuous functionals," Logic Colloquium 76 (1976)