j roger hindley

Grid   List

  1. Lambda-Calculus and Combinators
    Lambda-Calculus and Combinators
    J. Roger Hindley
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as ...
    69,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Lambda-Calculus and Combinators
    Lambda-Calculus and Combinators
    J. Roger Hindley
    Cambridge University Press
    Buch
    Bezug 11-15
    Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as ...
    106,70 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  3. Basic Simple Type Theory
    Basic Simple Type Theory
    J. Roger Hindley
    Cambridge University Press
    Buch
    Bezug 11-15
    Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat ...
    155,21 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Basic Simple Type Theory
    Basic Simple Type Theory
    J. Roger Hindley
    Cambridge University Press
    Taschenbuch
    Bezug 11-15
    Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat ...
    65,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Typed Lambda Calculi and Applications
    Typed Lambda Calculi and Applications
    J. Roger Hindley
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997.The 24 revised full...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>