Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

by RobertoM.Amadio (Author), Pierre-LouisCurien (Author)

• New

  Paperback
  2008

  $62.58

  Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

• New

  Hardcover
  1998

  $174.44

  Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.