Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms. - M. Victoria Marshall; Rolando Chuaqui (J. Symb. Log., 1991)

Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse. - Haim Judah; M. Victoria Marshall (Arch. Math. Log., 1994)

Types in class set theory and inaccessible cardinals. - M. Victoria Marshall (Arch. Math. Log., 1996)

Rank in set theory without foundation. - M. Victoria Marshall; M. Gloria Schwarze (Arch. Math. Log., 1999)

Labelling classes by sets. - M. Victoria Marshall; M. Gloria Schwarze (Arch. Math. Log., 2005)