The following pages link to (Q4282541):
Displayed 7 items.
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)