Intensional logics for programming
Author(s)
Bibliographic Information
Intensional logics for programming
(Studies in logic and computation, 1)
Clarendon Press , Oxford University Press, 1992
Available at / 13 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references