A note on extensionality (1991)

by F J Rietman
Venue:Proceedings Computer Science in the Netherlands 91