Shai Geva A Study of Higher-Order Sequential Computation Degree Type: Ph.D. in Computer Science Advisor(s): Stephen Brookes Graduated: August 1995