Pages that link to "Item:Q2752531"
From MaRDI portal
The following pages link to Algebraic specifications, higher-order types and set-theoretic models (Q2752531):
Displaying 4 items.
The following pages link to Algebraic specifications, higher-order types and set-theoretic models (Q2752531):
Displaying 4 items.