Types in logic programming
By: edited by Frank Pfenning.
Contributors: Pfenning, Frank.
Series: Logic programming
Publisher: MIT Press
Published: 1992
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 357
Subjects: Logic programming.
Notes: Includes bibliographical references (p. 333-350) and index.