Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Category Theory and Computer Science Category Theory and Computer Science

    Category Theory and Computer Science

    David H. Pitt
    Springer, Springer
    23.08.1989

    Coherence and valid isomorphism in closed categories applications of proof theory to category the...

    Taschenbuch
    50,28 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Thierry Coquand
    Springer, Springer
    13.12.2000

    This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Applied Semantics Applied Semantics

    Applied Semantics

    Gilles Barthe
    Springer, Springer
    21.08.2002

    This book is based on material presented at the international summer school on Applied Semantics ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Peter Dybjer
    Springer, Springer
    18.10.1995

    This book presents a strictly refereed collection of revised full papers selected from the papers...

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