Generic Reasoning of the Locally Nameless Representation.

Yicheng Ni, Yuting Wang

Browse the full APLAS paper archive.