|
|
| View previous topic :: View next topic |
| Author |
Message |
Guest
|
 Posted: Tue Jul 08, 2008 11:14 pm Post subject: Source code implementable set theory |
 |
|
Where can i find the source code to Han De Bruijns implementable set
theory. |
|
| Back to top |
|
 |
| |
Ads |
Advertising
Sponsor
|
|
Han de Bruijn
Guest
|
|
| Back to top |
|
|
| |
Ads |
Advertising
Sponsor
|
|
Han de Bruijn
Guest
|
| Posted: Thu Jul 10, 2008 11:03 am Post subject: Re: Source code implementable set theory |
|
|
Mariano Suárez-Alvarez wrote:
| Quote: |
On Jul 9, 11:05 am, hagman <goo...@von-eitzen.de> wrote:
On 9 Jul., 01:14, jonas.thornv...@hotmail.com wrote:
Where can i find the source code to Han De Bruijns implementable set
theory.
I don't think you would want to use such an implementation.
Most languages come wth a handy representation of sets; firstly
sets of objects of a given type (e.g. set<int>) and with a little
thought you can produce sets of sets of ...(i.e. e type "foo"
that is also "set <foo>")
There is also SETL (which google should find easily)...
-- m
|
Does SETL comply with inner sets ?
----------
Does SETL convert between several set representations, such as a bunch
of curly braces, a bitmap, a graph, an ordered array ?
Han de Bruijn |
|
| Back to top |
|
|
| |
Ads |
Advertising
Sponsor
|
|
|
|
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
|
|
FAQ
Search
Memberlist
Usergroups
Register
Profile
Log in to check your private messages
Log in
