Foundations of nominal techniques: logic and semantics of variables in abstract syntax

Research output: Contribution to journalArticle

36 Citations (Scopus)
Original languageEnglish
Pages (from-to)161-229
JournalBulletin of Symbolic Logic
Volume17
Issue number2
DOIs
Publication statusPublished - 1 Jun 2011

Cite this