An Algebraic Approach to Formal System Metatheory.

Francesco Gavazzo

Browse the full LICS paper archive.