Loading...
Please wait, while we are loading the content...
Similar Documents
Subtyping object and recursive types logically ⋆ (Extended Abstract)
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bakel, Steffen Van Liguoro, Ugo De ' |
| Copyright Year | 2001 |
| Abstract | We study subtyping in first-order object calculi with respec t to the logical semantics obtained by identifying terms that satis fy the same set of pre- dicates, as formalized through an assignment system. It is shown that equality in the full first-order ς-calculus is modeled by this notion, which is included in a Morris-style contextual equivalence. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.doc.ic.ac.uk/~svb/Research/Papers/vBdL-ICTCS05.ps.gz |
| Alternate Webpage(s) | http://dev.pubs.doc.ic.ac.uk/Bakel-Liguoro-ICTCS05/Bakel-Liguoro-ICTCS05.pdf |
| Alternate Webpage(s) | http://www.di.unito.it/~deligu/pub/vBdL05.pdf |
| Alternate Webpage(s) | http://www.doc.ic.ac.uk/~svb/Research/Papers/vBdL-ICTCS05.pdf |
| Alternate Webpage(s) | http://pubs.doc.ic.ac.uk/Bakel-Liguoro-ICTCS05/Bakel-Liguoro-ICTCS05.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |