This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
S. Abramsky, A. Jung, Domain theory, In S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, Vol. III, Oxford University Press, 1994.AbramskyS.JungA.Domain theoryIn S. Abramsky, D. M. Gabbay and T. S. E. Maibaum, editors, Handbook of Logic in Computer ScienceIIIOxford University Press199410.1093/oso/9780198537625.001.0001Search in Google Scholar
M.A. Alghamdi, M.A. Alghamdi, N. Shahzad, O. Valero, A fixed point theorem in partial quasi-metric spaces and an application to Software Engineering, Appl. Math. Comput. 268 (2015), 1292-1301, 10.1016/j.amc.2015.06.074AlghamdiM.A.AlghamdiM.A.ShahzadN.ValeroO.A fixed point theorem in partial quasi-metric spaces and an application to Software EngineeringAppl. Math. Comput26820151292130110.1016/j.amc.2015.06.074Open DOISearch in Google Scholar
A. Baranga, The contraction principle as a particular case of Kleene's fixed point theorem, Discrete Math. 98 (1991), 75-79, 10.1016/0012-365X(91)90413-VBarangaA.The contraction principle as a particular case of Kleene's fixed point theoremDiscrete Math981991757910.1016/0012-365X(91)90413-VOpen DOISearch in Google Scholar
B.A. Davey, H.A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 1990, 10.1017/CBO9780511809088DaveyB.A.PriestleyH.A.Introduction to Lattices and OrderCambridge University PressCambridge199010.1017/CBO9780511809088Open DOISearch in Google Scholar
H.P.A. Künzi, Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of asymmetric topology, in: Handbook of the History of General Topology, ed. by C.E. Aull and R. Lowen, vol. 3, Kluwer, Dordrecht, 2001, 10.1007/978-94-017-0470-0_3KünziH.P.A.Nonsymmetric distances and their associated topologies: about the origins of basic ideas in the area of asymmetric topologyin: Handbook of the History of General Topology, ed. by C.E. Aull and R. Lowen3KluwerDordrecht200110.1007/978-94-017-0470-0_3Open DOISearch in Google Scholar
H.P.A. Künzi, H. Pajooshesh, M.P. Schellekens, Partial quasi-metrics, Theoret. Comput. Sci. 365 (2006), 237-246, 10.1016/j.tcs.2006.07.050KünziH.P.A.PajoosheshH.SchellekensM.P.Partial quasi-metricsTheoret. Comput. Sci365200623724610.1016/j.tcs.2006.07.050Open DOISearch in Google Scholar
H.-P.A. Künzi, M.P. Schellekens, On the Yoneda completion of a quasi-metric space, Theoret. Comput. Sci. 278 (2002), 159-194, 10.1016/S0304-3975(00)00335-2KünziH.-P.A.SchellekensM.P.On the Yoneda completion of a quasi-metric spaceTheoret. Comput. Sci278200215919410.1016/S0304-3975(00)00335-2Open DOISearch in Google Scholar
S.G. Matthews, Partial metric topology, Ann. New York Acad. Sci. 728 (1994), 183-197, 10.1111/j.1749-6632.1994.tb44144.xMatthewsS.G.Partial metric topologyAnn. New York Acad. Sci728199418319710.1111/j.1749-6632.1994.tb44144.xOpen DOISearch in Google Scholar
Z. Mohammadi, O. Valero, A new contribution to fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms, Topol. Appl. 203 (2016),42-56, 10.1016/j.topol.2015.12.074MohammadiZ.ValeroO.A new contribution to fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithmsTopol. Appl2032016425610.1016/j.topol.2015.12.074Open DOISearch in Google Scholar
J.J. Nieto, R. Rodríguez-López,Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order 22 (2005), 223-239, 10.1007/s11083-005-9018-5NietoJ.J.Rodríguez-LópezR.Contractive mapping theorems in partially ordered sets and applications to ordinary differential equationsOrder22200522323910.1007/s11083-005-9018-5Open DOISearch in Google Scholar
J.J. Nieto, R. Rodríguez-López,Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations, Acta Math. Sinica (English Series) 23 (2007), 2205-2212, 10.1007/s10114-005-0769-0NietoJ.J.Rodríguez-LópezR.Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equationsActa Math. Sinica (English Series)2320072205221210.1007/s10114-005-0769-0Open DOISearch in Google Scholar
I.L. Reilly, P.V. Subrahmanyam, M.K. Vamanamrthy, Cauchy sequences in quasi-pseudo-metric spaces, Mh. Math. 93 (1982), 127-140, 10.1007/BF01301400ReillyI.L.SubrahmanyamP.V.VamanamrthyM.K.Cauchy sequences in quasi-pseudo-metric spacesMh. Math93198212714010.1007/BF01301400Open DOISearch in Google Scholar
S. Oltra, S. Romaguera, E.A. Sánchez-Pérez, Bicompleting weightable quasi-metric spaces and partial metric spaces, Rend. Circolo Mat. Palermo 51 (2002), 151-162, 10.1007/BF02871458OltraS.RomagueraS.Sánchez-PérezE.A.Bicompleting weightable quasi-metric spaces and partial metric spacesRend. Circolo Mat. Palermo51200215116210.1007/BF02871458Open DOISearch in Google Scholar
M. Schellekens, The Smyth completion: a common foundation for the denotational semantics and complexity analysis, Electron. Notes Theor. Comput. Sci. 1 (1995), 211-232, 10.1016/S1571-0661(04)00029-5SchellekensM.The Smyth completion: a common foundation for the denotational semantics and complexity analysisElectron. Notes Theor. Comput. Sci1199521123210.1016/S1571-0661(04)00029-5Open DOISearch in Google Scholar
D.S. Scott, Outline of a mathematical theory of computation, in: Proc. of 4th Annual Princeton Conference on Information Sciences and Systems, 1970, pp. 169-176.ScottD.S.Outline of a mathematical theory of computationProc. of 4th Annual Princeton Conference on Information Sciences and Systems1970169176Search in Google Scholar
