47] W.W. Tait, Intensional Interpretation of Functionals of Finite Type (1969)

by M Sweedler, Hopf Algebras, Benjamin Press
Venue:Journal of Symbolic Logic