A condition for identifying two elements of whatever model of combinatory logic.

Giuseppe Jacopini A condition for identifying two elements of whatever model of combinatory logic. 213-219 1975 conf/lambda/1975 Lambda-Calculus and Computer Science Theory db/conf/lambda/lambda1975.html#Jacopini75