Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Categorical Combinators, Sequential Algorithms, and Functional Programming by P-.L. Curien 9781461267041
Booksplease Price: $177.18This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to... -
Categorical Combinators, Sequential Algorithms, and Functional Programming by P-.L. Curien 9780817636548
Booksplease Price: $178.78This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to... -
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings by Jean-Yves Girard 9783540657637
Booksplease Price: $90.83Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA'99,heldinL'Aquila,on7-9 April1999. It contains25contributions. Fiftywere submitted,...