Technical Reports

The ICICS/CS Reading Room

UBC CS TR-86-01 Summary

Retracts of Numerations --- out of print, January 1986 K and Akira a

In this paper we study some important properties of numerations which can be passe to their retracts. Furthermore we show a sufficient condition for a category $Ret(\alpha)$ of retracts of a numeration $\alpha$ and morphisms to be Cartesian closed, in terms of $\alpha$.

If you have any questions or comments regarding this page please send mail to