Relating nominal and higher-order abstract syntax specifications.

Andrew Gacek

Browse the full PPDP paper archive.