Jan Heering

• Higher-order algebra, logic, and term rewriting