非表示:
キーワード:
-
要旨:
Several calculi of objects have been studied in the recent literature,
that support the central features of object-based languages: messages,
inheritance, dynamic dispatch, object update and object-extension.
We show that a complete semantic account of these features may be
given in a fragment of higher-order linear logic.