Partial computable function