Polymorphic dynamic typing aspects of proof theory and inference - Rehof, Jakob (DIKU, 1995)