Swaen, M. D. (1989). Weak and strong sum-elimination in intuitionistic type theory: = Zwakke en sterke someliminatie in de intuitionistische typentheorie.
Chicago-Zitierstil (17. Ausg.)Swaen, Marco D. Weak and Strong Sum-elimination in Intuitionistic Type Theory: = Zwakke En Sterke Someliminatie in De Intuitionistische Typentheorie. 1989.
MLA-Zitierstil (9. Ausg.)Swaen, Marco D. Weak and Strong Sum-elimination in Intuitionistic Type Theory: = Zwakke En Sterke Someliminatie in De Intuitionistische Typentheorie. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.