Combinatory Models and Symbolic Computation

Karl Aberer. Combinatory Models and Symbolic Computation. In John Fitch, editor, Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO 92, Bath, UK, April 13-15, 1992, Proceedings. Volume 721 of Lecture Notes in Computer Science, pages 116-131, Springer, 1992.

Abstract

Abstract is missing.