Logical environments

Saved in:
Bibliographic Details
Group Author: Huet Gerard.; Plotkin G.; (Gordon), 1946-
Published: Cambridge University Press,
Publisher Address: Cambridge
Publication Dates: 1993.
Literature type: Book
Language: English
Subjects:
Carrier Form: xiii, 338 p.: ill. ; 24 cm.
ISBN: 0521433126
Index Number: TP302
CLC: TP302.2-532
Call Number: TP302.2-532/L832/1991/
Contents: The workshop was held in Edinburgh, Scotland from the 19th to the 24th of May, 1991.
Includes bibliographical references.