Re: Types Considered Harmful
Victor Yodaiken
(
yodaiken@sphinx.nmt.edu
)
Mon, 8 Aug 1994 01:40:14 -0600
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."
Did I miss something, or is this just a not so wonderful re-explanation
of how everything can be encoded in sets?
Next message:
John Harrison: "Re: Types Considered Harmful"
Previous message:
Piotr Rudnicki: "A question to the qed-owner."