Clausal theory of types, the
Auteur :
Wolfram, D. A.
Éditeur :
Cambridge University Press
ISBN :
9780521395380
Date de publication :
22 avr. 1993
Dimensions :
25,4 x 17,7 x 1,1 cm
Poids :
406 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.