Pages that link to "Item:Q598199"

From MaRDI portal

← Higher-order subtyping and its decidability (Q598199)

Jump to:navigation, search

The following pages link to Higher-order subtyping and its decidability (Q598199):

Displaying 1 item.

Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)

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