Logical Relations for Dynamic Name Creation.

Yu Zhang, David Nowak

Browse the full CSL paper archive.