joint work with Mikołaj Bojańczyk, Bartek Klin, Sławek Lasota
- Speaker(s)
- Szymon Toruńczyk
- Affiliation
- Uniwersytet Warszawski
- Date
- June 6, 2012, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
I will describe a rather natural programming language for working with
orbit-finite Fraenkel-Mostowski sets (aka "nominal" sets).