Solutions of Generalized Recursive Metric-Space Equations

Lars Birkedal, Kristian Støvring, Jacob Thamsborg. Solutions of Generalized Recursive Metric-Space Equations. In Ralph Matthes, Tarmo Uustalu, editors, 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. pages 18-24, Institute of Cybernetics, 2009. [doi]

Abstract

Abstract is missing.