Dynamic typing: Syntax and proof theory
scientific article; zbMATH DE number 609571