Name
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 formalised through an assignment system. It is shown that equality in the full first order ς-calculus is modelled by this notion, which in turn is included in a Morris-style contextual equivalence. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/s00224-007-9079-5 | Theory Comput. Syst. |
Keywords | Field | DocType |
Object calculi,Type theory,Program logic | Discrete mathematics,Logical equivalence,First order,Type theory,Equivalence (measure theory),Predicate (grammar),Subtyping,Mathematics,Recursion,Semantics of logic | Journal |
Volume | Issue | ISSN |
42 | 3 | 1432-4350 |
Citations | PageRank | References |
6 | 0.51 | 19 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Steffen van Bakel | 1 | 335 | 28.24 |
| Ugo de’Liguoro | 2 | 15 | 1.83 |