00584cam 02200217 045001982430http://id.bnportugal.gov.pt/bib/porbase/198243020030503131800.00-444-86748-142385PTBN0025145719880624d1984 k y0pora0103 baengNL<The >lambda calculusRev. edAmsterdamElsevier Science Publishers1984XV, 621 p.517BNpor288919BarendregtHendrik Pieter425444PTBNRPCMT-68-99coopUAVSDmq372391bccoopUAVSD495640UAVS4 - 00437