Intensional logics for programming
By: edited by Luis Fariñas del Cerro and Martti Penttonen.
Contributors: Fariñas del Cerro, Luis.; Penttonen, Martti, 1948-
Series: Studies in logic and computation ;; 1
Publisher: Clarendon Press; Oxford University Press
Published: 1992
Place of publication: Oxford [England]; New York
Language: eng
Number of pages: 219
Subjects: Computer programming.
Notes: Includes bibliographical references.