A Categorical Approach to the Theory of Computation

Philip S. Mulry. A Categorical Approach to the Theory of Computation. Annals of Pure and Applied Logic, 43(3):293-305, 1989.

Abstract

Abstract is missing.