Pages that link to "Item:Q1844816"

From MaRDI portal

← On the semantics for the language ML\(^\nu\) based on a type system, and those for the type-free language ML\(^\infty\) (Q1844816)

Jump to:navigation, search

The following pages link to On the semantics for the language ML\(^\nu\) based on a type system, and those for the type-free language ML\(^\infty\) (Q1844816):

Displayed 1 item.

A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan (Q1163535) ‎ (← links)

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