The book is currently out of stock
Rewriting and Typed Lambda Calculi
Authors
Parameters
Book purchase
Rewriting and Typed Lambda Calculi, Gilles Dowek
- Language
- Released
- 2014
We’ll notify you via email once we track it down.
Payment methods
- Title
- Rewriting and Typed Lambda Calculi
- Language
- English
- Authors
- Gilles Dowek
- Publisher
- Springer-Verlag GmbH
- Released
- 2014
- Format
- Paperback
- ISBN10
- 331908917X
- ISBN13
- 9783319089171
- Category
- Technology / Engineering, Computers, IT, Programming