Final algebras, cosemicomputable algebras and degrees of unsolvability
Authors:
Lawrence S. Moss;José Meseguer;Joseph A. Goguen
Affiliations:
Indiana Univ., Bloomington;SRI International, Menlo Park, CA and Stanford Univ., Stanford, CA;Oxford Univ., Oxford, UK and SRI International, Menlo Park, CA