The *-autonomous category of uniform sup semi-lattices

Michael Barr, John F. Kennison, and R. Raphael

In 2001 Barr and Kleisli described *-autonomous structures on
two full subcategories of topological abelian groups. In this paper we
do the same for sup semi-lattices except that uniform structures play
the role that topology did in the earlier paper.