%0 Book %1 1990Logical %D 1990 %E Huet, Gérard %I Addison-Wesley %K 68n18-functional-programming-and-lambda-calculus 68q55-semantics %T Logical Foundations of Functional Programming %U http://www.worldcat.org/isbn/0201172348 %@ 0201172348

@book{1990Logical, added-at = {2019-03-01T00:11:50.000+0100}, biburl = {https://www.bibsonomy.org/bibtex/2019f0420ee862ea480aebb0aca089a7d/gdmcbain}, citeulike-article-id = {14459728}, citeulike-linkout-0 = {http://www.worldcat.org/isbn/0201172348}, citeulike-linkout-1 = {http://books.google.com/books?vid=ISBN0201172348}, citeulike-linkout-2 = {http://www.amazon.com/gp/search?keywords=0201172348\&index=books\&linkCode=qs}, citeulike-linkout-3 = {http://www.librarything.com/isbn/0201172348}, citeulike-linkout-4 = {http://www.worldcat.org/oclc/924841419}, editor = {Huet, G\'{e}rard}, interhash = {5b587ed5f0dddcbe3f486b2a7c9f72d7}, intrahash = {019f0420ee862ea480aebb0aca089a7d}, isbn = {0201172348}, keywords = {68n18-functional-programming-and-lambda-calculus 68q55-semantics}, posted-at = {2017-10-17 01:28:54}, priority = {2}, publisher = {Addison-Wesley}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Logical Foundations of Functional Programming}}, url = {http://www.worldcat.org/isbn/0201172348}, year = 1990 }