Pages that link to "Item:Q4304554"
From MaRDI portal
The following pages link to Retrieving library functions by unifying types modulo linear isomorphism (Q4304554):
Displaying 6 items.
- An algebraic theory for web service contracts (Q493534) (← links)
- Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Automorphisms of types and their applications (Q2307975) (← 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)
