8 results
Type of media (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Henk Barendregt

  1. Cover: Lambda Calculus with Types - Cambridge University Press
    Henk Barendregt
    Lambda Calculus with Types
    06/2013
    Cambridge University Press
    9781107272248 (ISBN)
    E-Book
    ePUB
    Other editions
    €68.99
    Available for download
  2. Cover: Lambda Calculus with Types - Cambridge University Press
    Henk Barendregt | Wil Dekkers | Richard Statman
    Lambda Calculus with Types
    07/2013
    1st EDN1st Edition
    Cambridge University Press
    9781107272989 (ISBN)
    E-Book
    PDF
    Other editions
    €82.99
    Available for download
  3. Cover: A Lambda Calculus Satellite - College Publications
    Henk Barendregt | Giulio Manzonetto
    A Lambda Calculus Satellite
    10/2022
    College Publications
    9781848904156 (ISBN)
    Book
    Paperback/Softback
    €36.60
    Shipment within 10-20 days
  4. Cover: Lambda Calculus with Types - Cambridge University Press
    Henk Barendregt | Wil Dekkers | Richard Statman
    Lambda Calculus with Types
    06/2013
    Cambridge University Press
    9780521766142 (ISBN)
    Book
    Hardback
    Other editions
    €110.60
    Shipment within 15-20 days
  5. Cover: A Lambda Calculus Satellite - College Publications
    Henk Barendregt | Giulio Manzonetto
    A Lambda Calculus Satellite
    01/2023
    College Publications
    9781848904248 (ISBN)
    Book
    Hardback
    €43.90
    Shipment within 10-20 days
  6. Cover: Types for Proofs and Programs - Springer
    Henk Barendregt | Tobias Nipkow
    Types for Proofs and Programs
    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    05/1994
    Springer
    9783540580850 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: The Dark Side of the Mirror - Windhorse Publications
    David Brazier
    The Dark Side of the Mirror
    Forgetting the Self in Dogen's Genjo Koan
    03/2019
    Windhorse Publications
    9781911407256 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €20.00
    Shipment within 3-4 weeks
  8. Cover: The Lambda Calculus. Its Syntax and Semantics - College Publications
    Henk Barendregt
    The Lambda Calculus. Its Syntax and Semantics
    04/2012
    College Publications
    9781848900660 (ISBN)
    Book
    Paperback/Softback
    €37.90
    Shipment within 10-20 days