pawel urzyczyn

Grid   List

  1. Lectures on the Curry-Howard Isomorphism
    Lectures on the Curry-Howard Isomorphism
    Ph. D Sørensen M. Sc
    Elsevier Science & Techn.
    Ebook
    Sofort lieferbar
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal ...
    131,00 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Mathematical Foundations of Computer Science 2006
    Mathematical Foundations of Computer Science 2006
    Rastislav Královic
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Typed Lambda Calculi and Applications
    Typed Lambda Calculi and Applications
    Pawel Urzyczyn
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Mathematical Foundations of Computer Science 2006
    Mathematical Foundations of Computer Science 2006
    Pawel Urzyczyn
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together w...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Lectures on the Curry-Howard Isomorphism
    Lectures on the Curry-Howard Isomorphism
    Morten Heine Sørensen
    Elsevier Science & Technology, Elsevier Science
    Buch
    Bezug 11-15
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal ...
    158,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Typed Lambda Calculi and Applications
    Typed Lambda Calculi and Applications
    Pawel Urzyczyn
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>