Some properties of equality in combinatory logic.

From MaRDI portal
Publication:562893