Properties of typing systems door M. Stefanova