Pages that link to "Item:Q1369235"

From MaRDI portal

← Full abstraction for the second order subset of an Algol-like language (Q1369235)

Jump to:navigation, search

The following pages link to Full abstraction for the second order subset of an Algol-like language (Q1369235):

Displayed 1 item.

A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) ‎ (← links)

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