Nominal algebra

M.J. Gabbay, A.H.J. Mathijssen

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publicationProceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)
Publication statusPublished - 2006

Cite this

Gabbay, M. J., & Mathijssen, A. H. J. (2006). Nominal algebra. In Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)