@Inproceedings{EPTCS126.5, author = {Matsikoudis, Eleftherios and Lee, Edward A.}, year = {2013}, title = {The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices}, editor = {Baelde, David and Carayol, Arnaud}, booktitle = {{\rm Proceedings Workshop on} Fixed Points in Computer Science, {\rm Turino, Italy, September 1st, 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {126}, publisher = {Open Publishing Association}, pages = {56-71}, doi = {10.4204/EPTCS.126.5}, }