Number Theoretic Functions Computable by Polymorphic Programs (Extended Abstract)

Richard Statman. Number Theoretic Functions Computable by Polymorphic Programs (Extended Abstract). In 22nd Annual Symposium on Foundations of Computer Science, 28-30 October 1981, Nashville, Tennessee, USA. pages 279-282, IEEE, 1981.

Abstract

Abstract is missing.