%0 Book %1 citeulike:436349 %A Thompson, Simon %D 1991 %I Addison-Wesley %K 68n18-functional-programming-and-lambda-calculus 68n15-programming-languages 03b15-higher-order-logic-type-theory 03-01-mathematical-logic-and-foundations-instructional-exposition 03b05-classical-propositional-logic %T Type Theory and Functional Programming %U http://www.worldcat.org/isbn/0201416670 %@ 0201416670

@book{citeulike:436349, added-at = {2017-06-29T07:13:07.000+0200}, author = {Thompson, Simon}, biburl = {https://www.bibsonomy.org/bibtex/20432ee6734ef37edca6d0422013b90c3/gdmcbain}, citeulike-article-id = {436349}, citeulike-attachment-1 = {thompson_91_type.pdf; /pdf/user/gdmcbain/article/436349/1034547/thompson_91_type.pdf; 4a10f92e7a0f82da5f2463b03499fd2f3853c70a}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0201416670}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/0201416670}, citeulike-linkout-10 = {http://www.worldcat.org/oclc/23287456}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/0201416670}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0201416670}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0201416670/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20\&path=ASIN/0201416670}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0201416670}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0201416670}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0201416670\&index=books\&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0201416670}, comment = {Selected for reading by 'Sydney Type Theory':https://www.meetup.com/Sydney-Type-Theory/events/235873731 for 2017-01-15.}, file = {thompson_91_type.pdf}, howpublished = {Hardcover}, interhash = {15b998402cc5b1c3bf7e9b47d740533d}, intrahash = {0432ee6734ef37edca6d0422013b90c3}, isbn = {0201416670}, keywords = {68n18-functional-programming-and-lambda-calculus 68n15-programming-languages 03b15-higher-order-logic-type-theory 03-01-mathematical-logic-and-foundations-instructional-exposition 03b05-classical-propositional-logic}, posted-at = {2015-09-14 05:04:16}, priority = {5}, publisher = {Addison-Wesley}, timestamp = {2020-05-08T02:43:31.000+0200}, title = {{Type Theory and Functional Programming}}, url = {http://www.worldcat.org/isbn/0201416670}, year = 1991 }