Second-Order Equational Logic (Extended Abstract)

DOI10.1007/978-3-642-15205-4_26zbMath1287.03078OpenAlexW1567516333MaRDI QIDQ3586049

Chung-Kil Hur, Marcelo P. Fiore

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_26

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Equational classes, universal algebra in model theory (03C05) Combinatory logic and lambda calculus (03B40)

Related Items (12)

Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ A complete equational axiomatisation of partial differentiation ⋮ Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Variable binding and substitution for (nameless) dummies ⋮ Unnamed Item ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL ⋮ High-level signatures and initial semantics ⋮ List Objects with Algebraic Structure

This page was built for publication: Second-Order Equational Logic (Extended Abstract)