[Prev][Next][Index][Thread]

paper available




The paper `The Greatest Symmetric Monoidal Closed Category of
Scott-Domains' is available on my ftp-guest account at Imperial
College under

			smc.dvi.Z


In it we show 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.

With best regards,
			--Michael Huth.