henk barendregt

Grid   List

  1. Lambda Calculus with Types
    Lambda Calculus with Types
    Henk Barendregt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    This 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 uni...
    84,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Lambda Calculus with Types
    Lambda Calculus with Types
    Henk Barendregt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    This 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 uni...
    70,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. The Lambda Calculus. Its Syntax and Semantics
    The Lambda Calculus. Its Syntax and Semantics
    Henk Barendregt
    College Publications
    Taschenbuch
    Bezug 6-10
    The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the p...
    47,52 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. A Lambda Calculus Satellite
    A Lambda Calculus Satellite
    Henk Barendregt
    College Publications
    Taschenbuch
    Bezug 6-10
    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the f...
    47,08 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Lambda Calculus with Types
    Lambda Calculus with Types
    Henk Barendregt
    Cambridge University Press
    Buch
    Bezug 11-15
    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
    127,27 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Types for Proofs and Programs
    Types for Proofs and Programs
    Tobias Nipkow
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This 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 Pro...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. A Lambda Calculus Satellite
    A Lambda Calculus Satellite
    Henk Barendregt
    College Publications
    Buch
    Bezug 11-15
    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the f...
    55,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>