A type-free system extending ZFC (1989)

by R C Flagg, J Myhill
Venue:Annals of Pure and Applied Logic