Pages that link to "Item:Q3172884"
From MaRDI portal
The following pages link to Expressing Polymorphic Types in a Many-Sorted Language (Q3172884):
Displaying 6 items.
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- Expressing Polymorphic Types in a Many-Sorted Language (Q3172884) (← links)
- (Q4989394) (← links)
- A Polymorphic Vampire (Q5049013) (← links)
- Axiomatization of Typed First-Order Logic (Q5206956) (← links)
