Lambda the Ultimate

started 3/18/2001; 1:01:58 PM - last post 3/21/2001; 11:54:38 PM
Ehud Lamm - PROGRAMMING WITH {SETS}  blueArrow
3/18/2001; 1:01:58 PM (reads: 554, responses: 2)
Seeing as I mentioned SETL, I thought I'd link this in. I was pretty sure I linked to it before, but I can't find it.

The information is pretty thin, but if you know nothing about this topic, you may find some useful clues. The SETL page, and SETL links on this site, provide more substance.
Posted to general by Ehud Lamm on 3/18/01; 1:04:06 PM

Puchitao - Re: PROGRAMMING WITH {SETS}  blueArrow
3/21/2001; 2:47:28 PM (reads: 602, responses: 1)
Here's another link for folks interested in SETL; it's the homepage for a course Jack Schwartz is teaching. Most of the Paxia/Schwartz textbook is online there; it's a good resource if you want to learn SETL.

andrew cooke - Re: PROGRAMMING WITH {SETS}  blueArrow
3/21/2001; 11:54:38 PM (reads: 656, responses: 0)
Thanks! On a vaguely related note, I found that my set theory wasn't up to reading Algebra of Programming (a book we've discussed here before) - I've now got a copy of Johnson's Elements of Logic via Numbers and Sets which is very simple and clear. I couldn't find anything similar on the net, although I was impressed with the Mathematical Atlas.