A Correspondence Between ALGOL 60 and Church's Lambda-Notation: Part II* CACM March, 1965 Landin, P. J. CA650304 JB March 7, 1978 6:09 PM 1303 5 1303 1303 5 1303 1303 5 1303 1469 5 1303 1486 5 1303 1491 5 1303 1781 5 1303 2178 5 1303 2326 5 1303 2470 5 1303 2684 5 1303 3044 5 1303 123 6 1303 196 6 1303 196 6 1303 919 6 1303 990 6 1303 1007 6 1303 1046 6 1303 1131 6 1303 1139 6 1303 1140 6 1303 1140 6 1303 1149 6 1303 1198 6 1303 1215 6 1303 1223 6 1303 1265 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1303 6 1303 1323 6 1303 1323 6 1303 1323 6 1303 1323 6 1303 1358 6 1303 1366 6 1303 1421 6 1303 1460 6 1303 1462 6 1303 1463 6 1303 1467 6 1303 1468 6 1303 1469 6 1303 1477 6 1303 1491 6 1303 1496 6 1303 1531 6 1303 1535 6 1303 1565 6 1303 1601 6 1303 1602 6 1303 1613 6 1303 1614 6 1303 1626 6 1303 1641 6 1303 1787 6 1303 1788 6 1303 205 6 1303 210 6 1303 1834 6 1303 1834 6 1303 224 6 1303 249 6 1303 288 6 1303 316 6 1303 381 6 1303 398 6 1303 2059 6 1303 11 6 1303 2127 6 1303 2192 6 1303 2264 6 1303 404 6 1303 410 6 1303 463 6 1303 464 6 1303 483 6 1303 3184 6 1303 3184 6 1303 3184 6 1303 3184 6 1303 3186 6 1303 3188 6 1303 584 6 1303 600 6 1303 680 6 1303 691 6 1303 729 6 1303 763 6 1303 799 6 1303