Pages that link to "Item:Q979082"

From MaRDI portal

← Typing termination in a higher-order concurrent imperative language (Q979082)

Jump to:navigation, search

The following pages link to Typing termination in a higher-order concurrent imperative language (Q979082):

Displaying 3 items.

Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
An Elementary Affine λ-Calculus with Multithreading and Side Effects (Q3007663) (← links)

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