The following pages link to (Q2754042):
Displaying 6 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- A constructive algebraic hierarchy in Coq. (Q1404425) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- A logical framework with explicit conversions (Q2871837) (← links)
- Theorem Proving in Higher Order Logics (Q5464663) (← links)
- Constrained equational deduction (Q5881303) (← links)