Logic Column 14: Nominal Logic and Abstract Syntax

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalComputing Research Repository (CoRR)
Volumeabs/cs/0511025
Publication statusPublished - 2005

Cite this