Proofs and types
Author(s)
Bibliographic Information
Proofs and types
(Cambridge tracts in theoretical computer science, 7)
Cambridge University Press, 1989
Available at / 48 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc20:510/g4412070268788
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 162-165
Includes index