Conal Elliott Thesis Title: Extensions and Applications of Higher-Order Unification Degree Type: Ph.D. in Computer Science Advisor(s): Frank Pfenning Graduated: May 1990