Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Modern Perspectives in Type-Theoretical Semantics Modern Perspectives in Type-Theoretical Semantics

    Modern Perspectives in Type-Theoretical Semantics

    Zhaohui Luo
    Springer International Publishing, Springer International Publishing
    13.02.2017

    This book is a collective volume that reports the state of the art in the applications of type th...

    Gebunden
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Modern Perspectives in Type-Theoretical Semantics Modern Perspectives in Type-Theoretical Semantics

    Modern Perspectives in Type-Theoretical Semantics

    Zhaohui Luo
    Springer International Publishing, Springer International Publishing
    13.07.2018

    This book is a collective volume that reports the state of the art in the applications of type th...

    Taschenbuch
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Paul Callaghan
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.02.2002

    This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Worki...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computation and Reasoning - A Type Theory for Computer Science Computation and Reasoning - A Type Theory for Computer Science

    Computation and Reasoning - A Type Theory for Computer Science

    Zhaohui Luo
    Oxford University Press (UK)
    12.05.1994

    This book develops a type theory, studies its properties, and explains its uses in computer scien...

    Gebunden
    110,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Semantics in Modern Type Theories Formal Semantics in Modern Type Theories

    Formal Semantics in Modern Type Theories

    Stergios Chatzikyriakidis
    Wiley
    17.02.2021

    This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple t...

    Gebunden
    163,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1