Self-Representation in Girard's System U.

Matt Brown, Jens Palsberg

Browse the full POPL paper archive.