@inproceedings{BBKL12, author = {Miko{\l}aj Boja{\'n}czyk and Laurent Braud and Bartek Klin and S{\l}awomir Lasota}, title = {Towards nominal computation}, booktitle = {Proc. POPL'12}, year = {2012}, pages = {401-412}, publisher = {} }