Higher-Order Fixed Point Theory in Partial Metric Spaces