Pages that link to "Item:Q1648875"
From MaRDI portal
The following pages link to Polymorphic rewrite rules: confluence, type inference, and instance validation (Q1648875):
Displaying 5 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- (Q5089012) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
