Rehof, J. (1995). Polymorphic dynamic typing: Aspects of proof theory and inference. DIKU.
Chicago-Zitierstil (17. Ausg.)Rehof, Jakob. Polymorphic Dynamic Typing: Aspects of Proof Theory and Inference. København: DIKU, 1995.
MLA-Zitierstil (9. Ausg.)Rehof, Jakob. Polymorphic Dynamic Typing: Aspects of Proof Theory and Inference. DIKU, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.