For the Metatheory of Type Theory, Internal Sconing Is Enough.

Rafal Bocquet, Ambrus Kaposi, Christian Sattler

Browse the full FSCD paper archive.