Search results for ‘Jean-Yves Girard’

Filter & Refine

      Cover image for Immortal Element
      Paperback
      Add to list Added to list

      Immortal Element

      Jean-Yves Girard

      A man with a tragic past is abducted by aliens and is offered a unique opportunity to save the doomed future of his world. But along the way, he falls…

      $30.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
      Paperback
      Add to list Added to list

      Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

      This text present the proceedings of the 4th International Conference on Typed Lambda Calculi and Applications. The volume reports research results on aspects of typed Lambda calculi and explores noncommutative…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Advances in Linear Logic
      Paperback
      Add to list Added to list

      Advances in Linear Logic

      Based on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer…

      $62.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Linear Logic in Computer Science
      Paperback
      Add to list Added to list

      Linear Logic in Computer Science

      The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear…

      $62.99

      Available to order, ships in approx 2 weeksAvailable to order