The following pages link to Second-Order Algebraic Theories (Q3586098):
Displaying 17 items.
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- A complete equational axiomatisation of partial differentiation (Q2133478) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Nominal Lawvere theories: a category theoretic account of equational theories with names (Q2453579) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- Second order equivalence of cardinals: An algebraic approach (Q2759850) (← links)
- Second-Order Equational Logic (Extended Abstract) (Q3586049) (← links)
- (Q5009703) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5089005) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Second-order unification in the presence of linear shallow algebraic equations (Q5881305) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)
