Search results for ‘Roberto M. Amadio (Universite de Provence),Pierre-Louis Curien (Ecole Normale Superieure, Paris)’

Filter & Refine

      Cover image for Domains and Lambda-Calculi
      Paperback
      Add to list Added to list

      Domains and Lambda-Calculi

      Roberto M. Amadio (Universite de Provence),Pierre-Louis Curien (Ecole Normale Superieure, Paris)

      This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent…

      $104.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for Domains and Lambda-Calculi
      Hardback
      Add to list Added to list

      Domains and Lambda-Calculi

      Roberto M. Amadio (Universite de Provence),Pierre-Louis Curien (Ecole Normale Superieure, Paris)

      This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent…

      $261.99

      Available to order, ships in approx 2 weeksAvailable to order