A theory of variable types. Revista Colombiana de Matemáticas 19 (1975)

by S Feferman