[Prev][Next][Index][Thread]
Re: Map theory
-
To: types, logic
-
Subject: Re: Map theory
-
From: pratt@cs.stanford.edu
-
Date: Mon, 07 Sep 92 20:59:11 EDT
-
In-Reply-To: Your message of Mon, 07 Sep 92 01:09:56 EDT. <199209070509.AA04618@stork.lcs.mit.edu>
-
Sender: meyer@theory.lcs.mit.edu
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