Pages that link to "Item:Q1323318"

The following pages link to An algebraic semantics of higher-order types with subtypes (Q1323318):

Displaying 3 items.

• Reduction and unification in lambda calculi with a general notion of subtype (Q1340967) (← links)
• Verifying an infinite systolic algorithm using third-order equational methods (Q2500698) (← links)
• Higher-order algebra with transfinite types (Q4645814) (← links)