Jonathan P. Seldin A Sequent Calculus for Type Assignment. 11-28 1977 42 J. Symb. Log. 1 db/journals/jsyml/jsyml42.html#Seldin77