Kan Extensions in Effective Semantics

Philip S. Mulry. Kan Extensions in Effective Semantics. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Volume 298 of Lecture Notes in Computer Science, pages 121-132, Springer, 1987.

Abstract

Abstract is missing.