Pages that link to "Item:Q3452251"
From MaRDI portal
The following pages link to Isomorphisms of generic recursive polynomial types (Q3452251):
Displaying 7 items.
- Objects of categories as complex numbers (Q703807) (← links)
- On analytic groupoid cardinality (Q2157478) (← links)
- An objective representation of the Gaussian integers (Q2643534) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- (Q5079757) (← links)
