The clausal theory of types
By: D. A. Wolfram.
Series: Cambridge tracts in theoretical computer science ;; 21
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 124
Subjects: Logic programming.
Notes: Includes bibliographical references (p. 107-120) and index.