%0 Book %1 hankin2004introduction %A Hankin, Chris %B Texts in Computing %C London %D 2004 %I King's College Publ. %K 03-01-mathematical-logic-and-foundations-instructional-exposition 03b40-combinatory-logic-and-lambda-calculus 68-01-computer-science-instructional-exposition 68n18-functional-programming-and-lambda-calculus %T An introduction to lambda calculi for computer scientists %U https://www.worldcat.org/title/introduction-to-lambda-calculi-for-computer-scientists/oclc/836069824&referer=brief_results %V 2 %@ 0954300653 9780954300654

@book{hankin2004introduction, added-at = {2021-05-05T08:08:25.000+0200}, address = {London}, author = {Hankin, Chris}, biburl = {https://www.bibsonomy.org/bibtex/21ed3aa1902529174c500dd8c3d0dac1e/gdmcbain}, interhash = {8f22d2413a44ec546a987930a7a6d992}, intrahash = {1ed3aa1902529174c500dd8c3d0dac1e}, isbn = {0954300653 9780954300654}, keywords = {03-01-mathematical-logic-and-foundations-instructional-exposition 03b40-combinatory-logic-and-lambda-calculus 68-01-computer-science-instructional-exposition 68n18-functional-programming-and-lambda-calculus}, publisher = {King's College Publ.}, refid = {836069824}, series = {Texts in Computing}, timestamp = {2021-05-05T08:11:03.000+0200}, title = {An introduction to lambda calculi for computer scientists}, url = {https://www.worldcat.org/title/introduction-to-lambda-calculi-for-computer-scientists/oclc/836069824&referer=brief_results}, volume = 2, year = 2004 }