I-Categories as a Framework for Solving Domain Equations

Abbas Edalat, Michael B. Smyth. I-Categories as a Framework for Solving Domain Equations. Theoretical Computer Science, 115(1):77-106, 1993.

Abstract

Abstract is missing.