Relating Two Semantics of Locally Scoped Names.

Steffen Lsch, Andrew M. Pitts

Browse the full CSL paper archive.