The following pages link to (Q5472879):
Displaying 13 items.
- Aspects preserving properties (Q436364) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Theories for mechanical proofs of imperative programs (Q1267030) (← links)
- The generic approximation lemma (Q1603477) (← links)
- Algorithms and proofs inheritance in the FOC language (Q1868513) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Proof Relevant Corecursive Resolution (Q2798268) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Proof by computation in the Coq system (Q5958299) (← links)