Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

Research output: Contribution to journalArticle

4 Citations (Scopus)
Original languageEnglish
Pages (from-to)828-852
Number of pages25
JournalJournal of Symbolic Logic
Volume77
Issue number3
DOIs
Publication statusPublished - Sep 2012

Cite this