The lambda calculus : its syntax and semantics
Author(s)
Bibliographic Information
The lambda calculus : its syntax and semantics
(Studies in logic and the foundations of mathematics, v. 103)
North-Holland Pub. , sole distributors for the U.S.A. and Canada Elsevier North-Holland, 1981
Available at / 54 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
BAR||52||1||複本2734836
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. 580-591
Includes indexes