Re: Types Considered Harmful

Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Next message: John Harrison: "Re: Types Considered Harmful"
Previous message: Piotr Rudnicki: "A question to the qed-owner."

Victor Yodaiken (yodaiken@sphinx.nmt.edu)
Mon, 8 Aug 1994 01:40:14 -0600

Did I miss something, or is this just a not so wonderful re-explanation
of how everything can be encoded in sets?