The following pages link to (Q4518868):
Displaying 5 items.
- A language for generic programming in the large (Q532409) (← links)
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- A type system for computer algebra (Q1895401) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- (Q3046091) (← links)