Items related to Type Theory and Functional Programming (International...

Type Theory and Functional Programming (International Computer Science Series) - Hardcover

  • 4.33 out of 5 stars
    15 ratings by Goodreads
 
9780201416671: Type Theory and Functional Programming (International Computer Science Series)

Synopsis

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Pages are clean and are not marred...
View this item

FREE shipping within U.S.A.

Destination, rates & speeds

Search results for Type Theory and Functional Programming (International...

Stock Image

Simon Thompson
Published by Addison-Wesley, 1991
ISBN 10: 0201416670 ISBN 13: 9780201416671
Used Hardcover

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 1.6. Seller Inventory # G0201416670I2N00

Contact seller

Buy Used

US$ 111.54
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Thompson
Published by Addison Wesley, 1991
ISBN 10: 0201416670 ISBN 13: 9780201416671
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-122-190

Contact seller

Buy Used

US$ 120.64
Convert currency
Shipping: US$ 26.38
From France to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket