The following pages link to (Q2769425):
Displaying 12 items.
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Tool support for proof engineering (Q2867938) (← links)
- Isomorphisms of types in the presence of higher-order references (Q2904625) (← links)
- (Q4325974) (← links)
- Remarks on Isomorphisms of Simple Inductive Types (Q4924549) (← links)
- (Q5090978) (← links)
- (Q5277981) (← links)
- Analogy in Automated Deduction: A Survey (Q5739522) (← links)
- Ornaments for Proof Reuse in Coq (Q5875438) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)