Pages that link to "Item:Q6488563"
From MaRDI portal
The following pages link to Retrieving library identifiers via equational matching of types (Q6488563):
Displaying 6 items.
- A decision algorithm for distributive unification (Q1275018) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Retrieving library functions by unifying types modulo linear isomorphism (Q4304554) (← links)
- An algorithm for distributive unification (Q5055867) (← links)
- (Q5089014) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)