Pages that link to "Item:Q1434358"
From MaRDI portal
The following pages link to Semantics and logic of object calculi (Q1434358):
Displaying 11 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- A semantics for complex objects and approximate answers (Q1176289) (← links)
- Calculus of task-constructive objects and their interpretations: II (Q1387028) (← links)
- Diversification of object-languages for propositional logics (Q1711508) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← links)
- Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
- Difunctorial semantics of object calculus (Q2848697) (← links)
- On Normalization by Evaluation for Object Calculi (Q3499758) (← links)
- Object calculi in linear logic (Q4952027) (← links)
- An imperative object calculus (Q5096750) (← links)
- Programming Languages and Systems (Q5316569) (← links)