Logical frameworks
By: edited by Gérard Huet, G. Plotkin.
Contributors: Huet, Gérard.; Plotkin, G. 1946-
Publisher: Cambridge University Press
Published: 1991
Place of publication: Cambridge; New York
Language: eng
Number of pages: 403
Subjects: Frames (Information theory); Logic.; Automatic theorem proving.
Notes: Includes bibliographical references.