lambda calculus

Lambda calculus

its syntax and semantics /H.P. Barendregt.. --

으로 H.p. (hendrik Pieter) Barendregt
5/5
체재
615 페이지
처음 게시됨
1981
게시자
North-Holland Pub. Co.·Sole distributors for the U.S.A. and Canada Elsevier North-Holland· 1981.
과목
Lambda calculus
언어
English

서적

비슷한 책