Grid  List

  1. Lambda Calculus with Types
    0 %
    Ebook
    Sofort lieferbar

    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

    Unser bisheriger Preis:ORGPRICE: 100,53 €

    Jetzt 100,52 €Ebook
    Alle Preise inkl. MwSt
  2. Lambda Calculus with Types
    0 %
    Ebook
    Sofort lieferbar

    This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and softwar...

    Unser bisheriger Preis:ORGPRICE: 100,34 €

    Jetzt 100,33 €Ebook
    Alle Preise inkl. MwSt
  3. Taschenbuch
    Print on Demand

    The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection...

    39,20 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Lambda Calculus with Types
    0 %
    Buch
    Print on Demand

    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used f...

    Unser bisheriger Preis:ORGPRICE: 77,00 €

    Jetzt 76,99 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Types for Proofs and Programs
    0 %
    Taschenbuch
    Print on Demand

    This volume contains thoroughly refereed and revised full papers selected from the presentations ...

    Unser bisheriger Preis:ORGPRICE: 85,59 €

    Jetzt 53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Taschenbuch
    Print on Demand

    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...

    37,90 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Buch
    Print on Demand

    In 1936 the notion of intuitive computability was operationalized in two different ways: via Turi...

    45,20 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1