Pages that link to "Item:Q1434358"

From MaRDI portal

← Semantics and logic of object calculi (Q1434358)

Jump to:navigation, search

The following pages link to Semantics and logic of object calculi (Q1434358):

Displaying 3 items.

A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
Logical equivalence for subtyping object and recursive types (Q2481559) (← links)
On Normalization by Evaluation for Object Calculi (Q3499758) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q1434358"