A transfinite type theory with type variables - Andrews, P. B. (Peter Bruce) , 1937- (Amsterdam : North-Holland Pub., 1965)
Includes bibliographical references and index
Keywords: Type theory