About

This website is devoted to the exchange of knowledge regarding computation with atoms, and techniques in Computer Science involving sets with atoms.

Sets with atoms are also known under the names:
Fraenkel-Mostowski sets, sets with urelements, permutation models, nominal sets, and others. Here is a book in progress covering various topics in this subject.

Here are some of the people involved in the project:

This project was supported by the Polish National Science Centre (NCN) grant 2012/07/B/ST6/01497.

Leave a Reply

Your email address will not be published.

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>