John Gateley, Bruce F. Duba. Call-by-Value Combinatory Logic and the Lambda-Value Calculus. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Volume 598 of Lecture Notes in Computer Science, pages 41-53, Springer, 1991.
Abstract is missing.