Loading...
Please wait, while we are loading the content...
Similar Documents
Subtyping object and recursive types logically ( Draft )
| Content Provider | Semantic Scholar |
|---|---|
| Author | Bakel, Steffen Van De'Liguoro, Ugo |
| Copyright Year | 2005 |
| Abstract | Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalized through an assignment system. It is shown that equality in the full first order ς-calculus is modelled by this notion, which on turn is included in a Morris style contextual equivalence. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.di.unito.it/~deligu/papers/vBdL05draft.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |