Imperative programming with FM-sets

Prelegent(ci)

Szymon Toruńczyk

Afiliacja

Uniwersytet Warszawski

Termin

6 czerwca 2012 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Mikołaj Bojańczyk, Bartek Klin, Sławek Lasota

Seminarium

Seminarium „Teoria automatów”

---

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

---