yadav, N. Applications of Partial Metric Fixed Point Theory to Theoretical Computer Science. quest 2025, 2, 8-17.