13 results
Type of media (2)
Availability (2)
Language (2)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
13 results

Your search for Jean-Yves Girard

  1. Cover: Advances in Linear Logic - Cambridge University Press
    Jean-Yves Girard | Yves LaFont | Laurent Regnier
    Advances in Linear Logic
    01/2011
    1st EDN1st Edition
    Cambridge University Press
    9780511893179 (ISBN)
    E-Book
    PDF
    Other editions
    €66.49
    Available for download
  2. Cover: Linear Logic in Computer Science - Cambridge University Press
    Thomas Ehrhard | Jean-Yves Girard | Paul Ruet
    Linear Logic in Computer Science
    03/2011
    1st EDN1st Edition
    Cambridge University Press
    9780511894329 (ISBN)
    E-Book
    PDF
    Other editions
    €75.49
    Available for download
  3. Cover: Typed Lambda Calculi and Applications - Springer
    Jean-Yves Girard
    Typed Lambda Calculi and Applications
    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    07/2003
    Springer
    9783540489597 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: The Blind Spot - EMS Press
    Jean-Yves Girard
    The Blind Spot
    Lectures on Logic
    09/2011
    1st EDN1st Edition
    EMS Press
    9783037190883 (ISBN)
    Book
    Hardback
    €79.00
    Shipment within 5-7 days
  5. Cover: Immortal Element - Page Publishing, Inc.
    Jean-Yves Girard
    Immortal Element
    11/2018
    Page Publishing, Inc.
    9781643505985 (ISBN)
    Book
    Paperback/Softback
    €42.23
    Shipment within 3-4 weeks
  6. Cover: Typed Lambda Calculi and Applications - Springer
    Jean-Yves Girard
    Typed Lambda Calculi and Applications
    01/2014
    Springer
    9783662185056 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  7. Cover: Typed Lambda Calculi and Applications - Springer
    Jean-Yves Girard
    Typed Lambda Calculi and Applications
    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    03/1999
    Springer
    9783540657637 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Linear Logic in Computer Science - Cambridge University Press
    Thomas Ehrhard | Jean-Yves Girard | Paul Ruet
    Linear Logic in Computer Science
    11/2004
    Cambridge University Press
    9780521608572 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €110.10
    Shipment within 15-20 days
  9. Cover: Advances in Linear Logic - Cambridge University Press
    Jean-Yves Girard | Yves LaFont | Laurent Regnier
    Advances in Linear Logic
    06/1995
    Cambridge University Press
    9780521559614 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €86.70
    Shipment within 15-20 days
  10. This image is currently not available.
    Jean-Yves Girard
    Anatomie Du Cheval Osteologie - Arthrologie: Vol. 1
    12/2009
    Classic Link Ltd
    9780956463906 (ISBN)
    Book
    Paperback/Softback
    €67.04
    Shipment within 3-4 weeks
  11. Cover: Proofs and Types - Cambridge University Press
    Jean-Yves Girard | Yves LaFont | Paul Taylor
    Proofs and Types
    03/1989
    Cambridge University Press
    9780521371810 (ISBN)
    Book
    Hardback
    €37.08
    Article not available
  12. This image is currently not available.
    Jean-Yves Girard
    Th'or'me de Gdel(le)
    10/1997
    Contemporary French Fiction
    9782020327787 (ISBN)
    Book
    Paperback/Softback
    €42.96
    Article not available
  13. This image is currently not available.
    Jean-Yves Girard
    Machine de Turing(la)
    03/1999
    Contemporary French Fiction
    9782020369282 (ISBN)
    Book
    Paperback/Softback
    €43.88
    Exhausted; no reprint