The category-theoretic solution of recursive metric-space equations

Lars Birkedal, Kristian Støvring, Jacob Junker Thamsborg

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	411
Udgave nummer	47
Sider (fra-til)	4102-4122
ISSN	0304-3975
Status	Udgivet - 2010

Citationsformater

@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",

}