Pages that link to "Item:Q1895401"
From MaRDI portal
The following pages link to A type system for computer algebra (Q1895401):
Displaying 7 items.
- A rewrite-based type discipline for a subset of computer algebra (Q1176783) (← links)
- Indexed types (Q1389626) (← links)
- On coherence in computer algebra (Q1895394) (← links)
- A computer algebra system based on order-sorted algebra (Q1895399) (← links)
- Logic and dependent types in the Aldor computer algebra system (Q2751550) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)