Partiality in logic and computation door J. Kuper