5 results
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
5 results

Your search for Pierre-Louis Curien

  1. Cover: Typed Lambda Calculi and Applications - Springer
    Pierre-Louis Curien
    Typed Lambda Calculi and Applications
    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    06/2009
    Springer
    9783642022722 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  2. Cover: Domains and Lambda-Calculi - Cambridge University Press
    Roberto M. Amadio | Pierre-Louis Curien
    Domains and Lambda-Calculi
    05/2008
    Cambridge University Press
    9780521062923 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.80
    Shipment within 15-20 days
  3. Cover: Domains and Lambda-Calculi - Cambridge University Press
    Roberto M. Amadio | Pierre-Louis Curien
    Domains and Lambda-Calculi
    07/1998
    Cambridge University Press
    9780521622776 (ISBN)
    Book
    Hardback
    Other editions
    €195.20
    Shipment within 15-20 days
  4. Cover: Category Theory and Computer Science - Springer
    David H. Pitt | Pierre-Louis Curien | Samson Abramsky
    Category Theory and Computer Science
    Paris, France, September 3-6, 1991. Proceedings
    08/1991
    Springer
    9783540544951 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Combinators and Functional Programming Languages - Springer
    Guy Cousineau | Pierre-Louis Curien | Bernard Robinet
    Combinators and Functional Programming Languages
    Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
    11/1986
    Springer
    9783540171843 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €32.09
    Shipment within 10-15 days