01425nam a2200349 i 450099100105666970753620020507182418.0990520s1975 de ||| | eng 3540074163b10794876-39ule_instLE01306352ExLDip.to Matematicaeng511.3AMS 03-06AMS 03B40AMS 68-06Istituto per le applicazioni del calcolo23918[Lambda]-calculus and computer science theory :proceedings of the symposium held in Rome, March 25-27, 1975 /IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. BohmBerlin ; New York :Springer-Verlag,1975xii, 370 p. :ill. ;24 cm.English or French.Includes bibliographiesCombinatory logicCongressesLambda calculusProgramming languagesCongressesBohm, C..b1079487621-09-0628-06-02991001056669707536LE013 03B BOH11 (1975)12013000113166le013-E0.00-l- 00000.i1089621128-06-02Lambda-calculus and computer science theory :-calculus and computer science theory921588UNISALENTOle01301-01-99ma -engde 11