Title: Higher-order algebra, logic, and term rewriting
Subjects: Congresses, Rewriting systems (Computer science), Symbolic and mathematical Logic, Algebra, Logic, symbolic and mathematical, Machine theory