The Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Cambridge University Press, 2009
49,75 €On orderDelivery: 2-3 weeks
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
- ISBN-13
- 9780521117906
- ISBN-10
- 0521117909
- Publisher
- Cambridge University Press
- Year
- 2009
- Publication date
- 2009-07-30
- Pages
- 136
- Dimensions
- 244x170x7
- Weight
- 230