Pages that link to "Item:Q4010353"
From MaRDI portal
The following pages link to Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations (Q4010353):
Displaying 5 items.
- Quantifier-complete categories (Q1238805) (← links)
- The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus (Q1314360) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- (Q4242458) (← links)