%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
}