Church’s Thesis and Functional Programming Export

@inbook{turner2006, author = {Turner, David}, booktitle = {Church's Thesis After 70 Years}, citeulike-article-id = {1558836}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/3938793090}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/3938793090}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/3938793090}, citeulike-linkout-3 = {http://www.amazon.co.uk/exec/obidos/ASIN/3938793090/citeulike00-21}, citeulike-linkout-4 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/3938793090}, citeulike-linkout-5 = {http://www.worldcat.org/isbn/3938793090}, citeulike-linkout-6 = {http://books.google.com/books?vid=ISBN3938793090}, citeulike-linkout-7 = {http://www.amazon.com/gp/search?keywords=3938793090&index=books&linkCode=qs}, citeulike-linkout-8 = {http://www.librarything.com/isbn/3938793090}, day = {28}, editor = {Olszewski, Adam and Wolenski, Jan and Janusz, Robert}, howpublished = {Hardcover}, isbn = {3938793090}, keywords = {functional\_programming, lambda\_calculus, mathematical\_logic, programming}, month = {February}, pages = {518--544}, posted-at = {2009-09-27 05:09:49}, priority = {4}, publisher = {Ontos Verlag}, title = {Church's Thesis and Functional Programming}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/3938793090}, year = {2007} }

TY - CHAP ID - turner2006 L3 - citeulike-article-id:1558836 SN - 3938793090 EP - 544 TI - Church’s Thesis and Functional Programming PB - Ontos Verlag T2 - Church's Thesis After 70 Years SP - 518 KW - functional_programming KW - lambda_calculus KW - mathematical_logic KW - programming AU - Turner, David A2 - Olszewski, Adam A2 - Wolenski, Jan A2 - Janusz, Robert PY - 2007/02/28/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/3938793090 ER -