On relating strong type theories and set theories

To upload material, you must first log in.