Filter By
Books (10)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
A Lambda Calculus Satellite by Henk Barendregt 9781848904248
Booksplease Price: $45.76Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848904248Author Henk BarendregtFormat HardbackPage Count 602Imprint College PublicationsPublisher... -
Lambda Calculus with Types by Henk Barendregt 9780521766142
RRP: $104.49Booksplease Price: $101.77This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype... -
The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt 9781848900660
RRP: $27.74Booksplease Price: $26.86Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848900660Author Henk BarendregtFormat PaperbackPage Count 656Imprint College PublicationsPublisher... -
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers by Henk Barendregt 9783540580850
Booksplease Price: $60.09This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for... -
Raymond Smullyan on Self Reference by Melvin Fitting 9783319687315
RRP: $128.99Booksplease Price: $58.44This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference. It serves not only as a tribute to one of the great thinkers in... -
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings by Simona Ronchi Della Rocca 9783540732273
Booksplease Price: $60.09This volume represents the proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications, TLCA 2007, held in Paris, France during 26-28 June 2007, in conjunction with... -
Types for Proofs and Programs: International Workshop, TYPES'99, Loekeberg, Sweden, June 12-16, 1999, Selected Papers by Thierry Coquand 9783540415176
Booksplease Price: $60.29This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at Lokeberg in the rural area north of... -
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by Aart Middeldorp 9783540309116
Booksplease Price: $118.27This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan... -
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers by P.M. Callaghan 9783540432876
Booksplease Price: $60.09This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th... -
A Modern Perspective on Type Theory: From its Origins until Today by Fairouz D. Kamareddine 9789048166398
Booksplease Price: $154.44`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led...