Some thoughts when reading the paper (actually 2 papers, mog89 and mog91).

A complete function of type A->B maps an object in set A to an object in set B. A computation that computes values of B, however, can have different models. It generally maps an object from A to an object of T B. In the case of partial computation, T B could be the lifted set of B.