A Theory of Name Boundedness.

Reiner Hchting, Rupak Majumdar, Roland Meyer

Browse the full CONCUR paper archive.