1303	 A Correspondence Between ALGOL and Church s Lambda-Notation Part II
