Imperative programming with FM-sets
- Prelegent(ci)
- Szymon Toruńczyk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 6 czerwca 2012 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
I will describe a rather natural programming language for working with
orbit-finite Fraenkel-Mostowski sets (aka "nominal" sets).