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

Re: Map theory



Date: 07 Sep 92 09:52:01 PDT (Mon)

	From: Klaus Grue <grue@diku.dk>
	Date: Sun, 6 Sep 92 09:40:36 +0200
	...
	In addition, and contrary to set theory, map theory has
	unlimited abstraction and contains a computer programming
	language as a natural subset.

Presumably these terms must be defined carefully in order to prevent
SETL from being a "natural subset" of set theory.

	Vaughan Pratt