Programming, Transforming, and Providing with Function Abstractions and Memories

Ian A. Mason, Carolyn L. Talcott. Programming, Transforming, and Providing with Function Abstractions and Memories. In Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, editors, Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Volume 372 of Lecture Notes in Computer Science, pages 574-588, Springer, 1989.

Abstract

Abstract is missing.