A theory of variable types. Revista Colombiana de Matem'aticas (1975)

by S Feferman