Kim Ritter Wagner

Thesis Title: Solving Domain Equations with Internal Pre-Orders
Degree Type: Ph.D. in Computer Science
Advisor(s): Dana Scott
Graduated: August 1994