Partial Metric Spaces

A partial metric version of the celebrated Banach fixed point theorem is proved which has become an appropriate quantitative fixed point technique to capture the meaning of recursive denotational specifications in programming languages.