The Clausal Theory of Types
D. A. (University of Oxford) Wolfram
Cambridge University Press, 1993
101,25 €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
- 9780521395380
- ISBN-10
- 0521395380
- Publisher
- Cambridge University Press
- Year
- 1993
- Publication date
- 1993-04-22
- Pages
- 134
- Dimensions
- 254x177x11
- Weight
- 406