Erweiterte Suche

Grid  List

  1. Basic Simple Type Theory Basic Simple Type Theory

    Basic Simple Type Theory

    J. Roger Hindley
    Cambridge University Press
    24.11.2007

    Type theory is one of the most important tools in the design of higher-level programming language...

    Taschenbuch
    52,50 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Lambda-Calculus and Combinators Lambda-Calculus and Combinators

    Lambda-Calculus and Combinators

    J. Roger Hindley
    Cambridge University Press
    22.02.2013

    Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into...

    Gebunden
    79,30 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    J. Roger Hindley
    Springer Berlin Heidelberg
    12.03.1997

    This book constitutes the refereed proceedings of the Third International Conference on Typed Lam...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Basic Simple Type Theory Basic Simple Type Theory

    Basic Simple Type Theory

    J. Roger Hindley
    Cambridge University Press
    26.10.2002

    Type theory is one of the most important tools in the design of higher-level programming language...

    Gebunden
    138,10 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1