Alpha-renaming of higher-order meta-expressions.

David Sabel

Browse the full PPDP paper archive.