Internal Effectful Forcing in System T.

Martn Htzel Escard, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun

Browse the full FSCD paper archive.