Computation and reasoning : a type theory for computer science
Author(s)
Bibliographic Information
Computation and reasoning : a type theory for computer science
（The International series of monographs on computer science, v. 11）
Clarendon Press , Oxford University Press, 1994
Available at / 26 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc20:004/l9732070295155
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index