Implementation of a Non-Standard Interpretation System

Satnam Singh. Implementation of a Non-Standard Interpretation System. In Kei Davis, John Hughes, editors, Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, pages 206-224, Springer, 1989.

Abstract

Abstract is missing.