Type Theory and Functional Programming Hardcover Simon ThompsonCover/edge wear. Good otherwise. Interior clean and unmarked. Binding is tight. See photos
