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

Title in Polish

Imperative programming with FM-sets

Seminar

Seminar Automata Theory

---

I will describe a rather natural programming language for working with orbit-finite Fraenkel-Mostowski sets (aka "nominal" sets).

---