: "4d59b6aecad4987053000173"} , "author" : [ "Benjamin C. Pierce"] , "isbn" : "0262660717" , "price" : { "currency" : "USD" , "discount" : 25.8 , "msrp" : 27} , "publicationYear" : 1991 , "publisher" : "The MIT Press" , "tags" : [ "category theory" , "mathematics" , "computer science" , "discrete mathematics" , "computer mathematics" , "logic" , "types"] , "title" : "Basic Category Theory For Computer Scientists"} Document: { "_id" : { "$oid" : "4d59b6b6cad4987053000174"} , "author" : [ "Benjamin C. Pierce"] , "isbn" : "9780262162098" , "price" : { "currency" : "USD" , "discount" : 53.64 , "msrp" : 76} , "publicationYear" : 2002 , "publisher" : "MIT Press" , "tags" : [ "type theory" , "computer science" , "functional programming" , "programming languages" , "types" , "cs" , "languages" , "programming" , "theory" , "compilers" , "lambda calculus" , "operational semantic" , "programming language theory" , "software development" , "static typing" , "tapl"] , "title" : "Types and Programming Languages"} Wednesday, November 2, 11