A relationally parametric model of dependent type theory.

Robert Atkey, Neil Ghani, Patricia Johann

Browse the full POPL paper archive.