Weak and strong sum-elimination in intuitionistic type theory = Zwakke en sterke someliminatie in de intuitionistische typentheorie - Swaen, Marco D. (1989)