| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 438635 | Theoretical Computer Science | 2013 | 6 Pages |
Abstract
In this addendum, we correct some typos and fill a gap in the proof of Theorem 21 of [F. van Breugel, C. Hermida, M. Makkai, J. Worrell. Recursively defined metric spaces without contraction. Theoretical Computer Science 380 (1/2) (2007) 143–163]. We reprove Theorem 21 and fill the gap by Lemmas 2–4 of this paper.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
![Addendum to “Recursively defined metric spaces without contraction” [Theoret. Comput. Sci. 380 (1/2) (2007) 143–163]](/preview/png/438635.png "First Page Preview: Addendum to “Recursively defined metric spaces without contraction” [Theoret. Comput. Sci. 380 (1/2) (2007) 143–163]")