Partial computable function

Summary