Böcker av D. A. (University of Oxford) Wolfram

In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.