The following pages link to Provable isomorphisms of types (Q4017461):
Displaying 9 items.
- Genetic programming \(+\) proof search \(=\) automatic improvement (Q682376) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Functional pearl: the distributive \(\lambda\)-calculus (Q2039932) (← 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)
- (Q5089014) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
