Pages that link to "Item:Q2498898"
From MaRDI portal
The following pages link to Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898):
Displaying 10 items.
- Kripke models for classical logic (Q636371) (← links)
- Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (Q1893735) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Computing with Semirings and Weak Rig Groupoids (Q2802473) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- (Q4325974) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
