@BOOK{ Book!D - 72111894,
AUTHOR = "",
TITLE = ")Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Combinatory logic-- Congresses,، Programming languages )Electronic computers(-- Congresses",
URL = "/book/72111894/Lambdacalculus-and-computer-science-theory-pr/"}