Clausal theory of types, the
Auteur :
Wolfram, D. A.
Éditeur :
Cambridge University Press
ISBN :
9780521117906
Date de publication :
30 juil. 2009
Dimensions :
24,4 x 17,0 x 0,7 cm
Poids :
230 g
Format :
Trade paperback (US)
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.