A correspondence between ALGOL 60 and Church's Lambda-notations: Part II