Alexandre A. Ivanov Dugald Macpherson Strongly Determined Types. 197-230 1999 99 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal99.html#IvanovM99