Re: SEM: Reaching consensus (was Re: third version of semantics document)

Pat wrote:
>  As a recent example, 
> Peter Aczel defined a set theory that allows sets that contain 
> themselves. 

We could always invite Peter Aczel to speak at the Manchester to f2f :)

http://www.cs.man.ac.uk/~petera/

Jeremy

Received on Friday, 6 September 2002 08:58:47 UTC