Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals

James S. Royer. Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals. J. Comput. Syst. Sci., 54(3):424-436, 1997.

Abstract

Abstract is missing.