Picture 1 of 1
Picture 1 of 1
Lambda-Calculus: Types and Models by J.L. Krivine (Hardcover, 1993)
Buchpark (80982)
98.2% positive Feedback
Price:
£156.76
Free postage
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
In rare cases, a book may differ from the stated edition. Each item is manually inspected and evaluated by us. Used item in very good condition. Item is in used but good condition. It may be a defect copy in good condition.
- Buy it nowLambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their App
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Information
This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.Product Identifiers
PublisherPearson Higher Education
ISBN-139780130624079
eBay Product ID (ePID)86381574
Product Key Features
Number of Pages192 Pages
Publication NameLambda-Calculus: Types and Models
LanguageEnglish
SubjectComputer Science, Mathematics
Publication Year1993
TypeTextbook
AuthorJ.L. Krivine
FormatHardcover
Dimensions
Item Height235 mm
Item Weight437 g
Item Width174 mm
Additional Product Features
Country/Region of ManufactureUnited Kingdom
Title_AuthorJ.L. Krivine
Be the first to write a review
