Jan Heering

Higher-order algebra, logic, and term rewriting