Symmetric relations, intensional individuals, and variable binding (1986)

by S C Shapiro
Venue:Proceedings of the IEEE