Re: Draft Partitioning

Frank Manola wrote:
[...]
> (Actually, I can imagine a model-theoretic semantics that uses subsets
> of the domain of discourse rather than actual types, so if that's the
> sort of thing you have in mind that could work for me, depending on some
> of the details about what goes in higher levels).

That is exactly the sort of thing I had in mind, but I too haven't worked
out the details.

Brian

Received on Tuesday, 19 June 2001 17:04:33 UTC