Loading...
Please wait, while we are loading the content...
Similar Documents
RAPPORT A structural co-induction theorem
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rutten, Jan J. M. M. |
| Copyright Year | 1993 |
| Abstract | The Structural Induction Theorem (Lehmann and Smyth, 1981; Plotkin, 1981) characterizes initial F-algebras of locally continuous functors F on the category of cpo's with strict and continuous maps. Here a dual of that theorem is presented, giving a number of equivalent characterizations of nal coalgebras of such functors. In particular, nal coalgebras are order strongly-extensional (sometimes called internal full abstractness): the order is the union of all (ordered) F-bisimulations. (Since the initial xed point for locally continuous functors is also nal, both theorems apply.) Further a similar co-induction theorem is given for a category of complete metric spaces and locally contracting functors. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cwi.nl/ftp/CWIreports/AP/CS-R9346.ps.Z |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
