Pages that link to "Item:Q5268999"

The following pages link to Isomorphism of intersection and union types (Q5268999):

Displaying 2 items.

• Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
• Isomorphism of intersection and union types (Q5268999) (← links)