Document Type
Article
Publication Date
2013
Abstract
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.
Recommended Citation
Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts: Nominal Computation Theory (Dagstuhl Seminar 13422). Dagstuhl Reports 3(10): 58-71 (2013)
Copyright
The authors
Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This article was originally published in Dagstuhl Reports, volume 3, issue 10, in 2013. DOI: 10.4230/DagRep.3.10.58