A sequent calculus for type assignment (1977)

by J P Seldin
Venue:Journal of Symbolic Logic