Lazy Theories of Operations and Types

Raymond Turner. Lazy Theories of Operations and Types. Journal of Logic and Computation, 3(1):77-102, 1993.

Abstract

Abstract is missing.