Intensional logics for programming /

Bibliographic Details

Other Authors:	Fariñas del Cerro, Luis, Penttonen, Martti, 1948-
Format:	Book
Language:	English
Published:	Oxford [England] : New York : Clarendon Press ; Oxford University Press, 1992.
Series:	Studies in logic and computation ; 1.
Subjects:	Computer programming.