The following pages link to (Q4945229):
Displaying 5 items.
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- (Q4263871) (← links)
- (Q5277981) (← links)
- Bounded Linear Types in a Resource Semiring (Q5410708) (← links)