 Proposition 2.5. Let \(f : D_1 \times \cdots \times D_n \to D\) be a continuous function, where \(D_i,D\) are either \({\mathbb{N}}_\bot\) or \({\mathbb{B}}_\bot\). Then \(f\) is sequential if and only if it is definable in PCF.