Pages that link to "Item:Q4304554"
From MaRDI portal
The following pages link to Retrieving library functions by unifying types modulo linear isomorphism (Q4304554):
Displayed 4 items.
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)