The following pages link to (Q4282541):
Displaying 8 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)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
