Algebraic Reasoning and Completeness in Typed Languages

Jon G. Riecke, Ramesh Subrahmanyam. Algebraic Reasoning and Completeness in Typed Languages. In POPL. pages 185-195, 1993.

Abstract

Abstract is missing.