2026-08-11T21:21:18Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4428 2024-03-06T10:26:06Z ddc:004 open_access

Nominal Computation Theory (Dagstuhl Seminar 13422) Bojanczyk, Mikolaj Klin, Bartek Kurz, Alexander Pitts, Andrew M. nominal sets Fraenkel-Mostowski sets This report documents the program and the outcomes of Dagstuhl Seminar 13422 "Nominal Computation Theory". The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mikolaj Bojanczyk and Bartek Klin and Alexander Kurz and Andrew M. Pitts 2014 Is Part Of Dagstuhl Reports, Volume 3, Issue 10 (2014) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.3.10.58 urn:nbn:de:0030-drops-44285 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.10.58 eng https://creativecommons.org/licenses/by/3.0/legalcode