SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)

Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen. SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Volume 666 of Lecture Notes in Computer Science, pages 318-347, Springer, 1992.

Abstract

Abstract is missing.