The category-theoretic solution of recursive metric-space equations

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	Theoretical Computer Science
Volume	411
Issue number	47
Pages (from-to)	4102-4122
ISSN	0304-3975
Publication status	Published - 2010

Cite this

@article{c9b68cd5e1bf48e2b5c12f9635960549,

title = "The category-theoretic solution of recursive metric-space equations",

author = "Lars Birkedal and Kristian St{\o}vring and Thamsborg, {Jacob Junker}",

year = "2010",

language = "English",

volume = "411",

pages = "4102--4122",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "47",

}