Dynamic typing: Syntax and proof theory (1994)

by F Henglein
Venue:Sci. Comput. Program