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]
@inproceedings{BirkedalST09-0,
title = {Solutions of Generalized Recursive Metric-Space Equations},
author = {Lars Birkedal and Kristian Støvring and Jacob Thamsborg},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib2.pdf},
researchr = {https://researchr.org/publication/BirkedalST09-0},
cites = {0},
citedby = {0},
pages = {18-24},
booktitle = {6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009},
editor = {Ralph Matthes and Tarmo Uustalu},
publisher = {Institute of Cybernetics},
isbn = {978-9949-430-29-1},
}