The following pages link to (Q4282541):
Displayed 5 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)
- On Isomorphisms of Intersection Types (Q3540197) (← links)