APA (7th ed.) Citation

Rehof, J. (1995). Polymorphic dynamic typing: Aspects of proof theory and inference. DIKU.

Chicago Style (17th ed.) Citation

Rehof, Jakob. Polymorphic Dynamic Typing: Aspects of Proof Theory and Inference. København: DIKU, 1995.

MLA (9th ed.) Citation

Rehof, Jakob. Polymorphic Dynamic Typing: Aspects of Proof Theory and Inference. DIKU, 1995.

Warning: These citations may not always be 100% accurate.