First-order theories as many-sorted algebras. Notre Dame (1984)

by V Manca, A Salibra
Venue:Journal of Formal Logic