Pages that link to "Item:Q1838563"
From MaRDI portal
The following pages link to The category of finite sets and Cartesian closed categories (Q1838563):
Displaying 12 items.
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- 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)
- Provable isomorphisms of types (Q4017461) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)
- The Typed Böhm Theorem (Q4916173) (← links)
- Using types as search keys in function libraries (Q4939694) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
