00872nam0-22002891i-450-9900009572304033210-444-85490-8000095723FED01000095723(Aleph)000095723FED01000095723--------d--------km-y0itay50------baeng<<The >>Lambda Calculusits syntax and semanticsH.P. BarendregtAmsterdam [etc.]North-Holland1981Studies in logic and the foundations of mathematicsvol. 103Teoria della programmazione e utilizzazione dei computersSoftware510.78Barendregt,H. P.44637ITUNINARICAUNIMARCBK9900009572304033218B-12312007FI1FI1Lambda calculus344857UNINA