[LE] _________________________ AMAST Links 02 05

The Greatest Symmetric Monoidal Closed Category of Scott-Domains

by Michael Huth

This paper is available on the author's ftp-guest account at Imperial College under smc.dvi.Z

In it it is shown that Linear Domains and Linear Maps [MFPS'93] are the greatest symmetric monoidal closed category of Scott-Domains such that linear implication is modeled by the space of all linear maps in the extensional order.