A condition for identifying two elements of whatever model of combinatory logic (1975)

by G Jacopini
Venue:in: Proceedings of the Symposium on Lambda-Calculus and Computer Science Theory