Unity in nominal equational reasoning: The algebra of equality on nominal sets

Research output: Contribution to journalArticle

3 Citations (Scopus)
Original languageEnglish
Pages (from-to)199-217
JournalJournal of Applied Logic
Volume10
Issue number2
DOIs
Publication statusPublished - 1 Jun 2012

Cite this